This article has multiple issues. Please help or discuss these issues on the talk page. (Learn how and when to remove these template messages)
A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Wikipedia's content policies, particularly neutral point of view. Please discuss further on the talk page.(November 2012) (Learn how and when to remove this template message)
The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: – ···scholar·JSTOR(November 2012) (Learn how and when to remove this template message)
This article relies too much on references to primary sources. Please improve this by adding secondary or tertiary sources.(November 2012) (Learn how and when to remove this template message)
(Learn how and when to remove this template message)
The General System has been described in [Zeigler76] and [ZPK00] with the stand points to define (1) the time base, (2) the admissible input segments, (3) the system states, (4) the state trajectory with an admissible input segment, (5) the output for an given state.
A Timed Event System defining the state trajectory associated with the current and event segments came from the class of General System to allows non-deterministic behaviors in it [Hwang2012]. Since the behaviors of DEVS can be described by Timed Event System, DEVS and is a sub-class or an equivalent class of Timed Event System.
is the set of state trajectories in which indicates that a state can change into along with an event segment. If two state trajectories and are called contiguous if , and two event trajectories and are contiguous. Two contiguous state trajectories and implies .
Behaviors and Languages of Timed Event System[]
Given a timed event system , the set of its behaviors is called its language depending on the
observation time length. Let be the observation time length.
If , -length observation language of is denoted by , and defined as
We call an event segment a -length behavior of , if .
By sending the observation time length to infinity, we define infinite length observation language of
is denoted by , and defined as
We call an event segment an infinite-length behavior of , if .
See also[]
State Transition System
References[]
[Zeigler76] Bernard Zeigler (1976). Theory of Modeling and Simulation (first ed.). Wiley Interscience, New York.
[ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Theory of Modeling and Simulation (second ed.). Academic Press, New York. ISBN978-0-12-778455-7.
[Hwang2012] Moon H. Hwang. "Qualitative Verification of Finite and Real-Time DEVS Networks". Proceedings of 2012 TMS/DEVS. Orlando, FL, USA. pp. 43:1–43:8. ISBN978-1-61839-786-7.
Categories:
Automata (computation)
Formal specification languages
Hidden categories:
Wikipedia articles with possible conflicts of interest from November 2012
Articles with topics of unclear notability from November 2012
All articles with topics of unclear notability
Articles lacking reliable references from November 2012