Coupled DEVS

The coupled DEVS provides the hierarchical and modular structure necessary to describe system networks. Formally, a coupled DEVS is defined by

$$N=<X, Y, D, \{M_i\}, EIC, ITC, EOC>$$

where

• $X$ is a set of input events.
• $Y$ is a set of output events.
• $D$ is a set of names of sub-components
• $\{M_i\}$ is a set of DEVS models where $i \in D$ . $M_i$ can be either an atomic DEVS model or a coupled DEVS model.
• $EIC \subseteq X \times \underset{i \in D} {\bigcup} X_i$ is a set of external input couplings where $X_i$ is the set of input events of $M_i$ .
• $ITC \subseteq \underset{i \in D} {\bigcup} Y_i \times \underset{i \in D} {\bigcup} X_i$ is a set of internal couplings where $Y_i$ is the set of output events of $M_i$ .
• $EOC \subseteq \underset{i \in D} {\bigcup} Y_i \times Y$ is a set of external output couplings. $\blacksquare$