Behavior of coupled DEVS

In theoretical computer science, DEVS is closed under coupling [Zeigper84] [ZPK00]. In other words, given a coupled DEVS model ${\displaystyle N}$, its behavior is described as an atomic DEVS model ${\displaystyle M}$. For a given coupled DEVS ${\displaystyle N}$, once we have an equivalent atomic DEVS ${\displaystyle M}$, behavior of ${\displaystyle M}$ can be referred to behavior of atomic DEVS which is based on Timed Event System.

Similar to behavior of atomic DEVS, behavior of the Coupled DEVS class is described depending on definition of the total state set and its handling as follows.