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
 formula_1
where
Behaviors and Languages of Timed Event System.
Given a timed event system formula_19, "the set of its behaviors" is called its "language" depending on the
observation time length. Let formula_20 be the observation time length.
If formula_21, "formula_20-length observation language of"
formula_23 is denoted by formula_24, and defined as
formula_25 
We call an event segment formula_26 a formula_20-length behavior of formula_28, if formula_29.
By sending the observation time length formula_20 to infinity, we define "infinite length observation language of" formula_23
is denoted by formula_32, and defined as
formula_33 
We call an event segment formula_34 an infinite-length behavior of formula_28, if formula_36.
See also.
State Transition System