Timed event system
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 RTDEVS is a sub-class or an equivalent  class of Timed Event System. Timed Event Systems. A timed event system is a structure where Behaviors and Languages of Timed Event System. Given a timed event system formula_18, "the set of its behaviors" is called its "language" depending on the observation time length. Let formula_19 be the observation time length. If formula_20, "formula_19-length observation language of" formula_22 is denoted by formula_23, and defined as We call an event segment formula_24 a formula_19-length behavior of formula_26, if formula_27. By sending the observation time length formula_19 to infinity, we define "infinite length observation language of" formula_22 is denoted by  formula_30, and defined as We call an event segment formula_31 an infinite-length behavior of formula_26, if formula_33. See also. State Transition System