next state is given by where is the output function. Given a partial state , Time passage Since in a coupled DEVS model with non-empty sub-components, i.e., , the number of clocks which trace their elapsed times are multiple, so time passage of the model is noticeable. For View1 Given a total state where If unit event segment is the null event segment, i.e. , the state trajectory in terms of Timed Event System is For View2 Given a total state where If unit event segment is the null event segment, i.e. , the state trajectory in terms of Timed Event System is Remarks The behavior of a couple DEVS network whose all sub-components are deterministic DEVS models can be non-deterministic if is non-deterministic. See also DEVS Behavior of Atomic DEVS Simulation Algorithms for Coupled DEVS Simulation Algorithms for Atomic DEVS References [Zeigler84] [ZKP00] Automata (computation) Formal specification languages