Simulation algorithms for coupled DEVS

algorithm DEVS-coordinator
  Variables:
     parent // parent coordinator
     ${\displaystyle t_{l}}$: // time of last event
     ${\displaystyle t_{n}}$: // time of next event
     ${\displaystyle N=(X,Y,D,\{M_{i}\},C_{xx},C_{yx},C_{yy},Select)}$ // the associated Coupled DEVS model
    when receive init-message(Time t)
        for each ${\displaystyle i\in D}$ do
            send init-message(t) to child ${\displaystyle i}$
        ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
        ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;
    when receive star-message(Time t)
        if ${\displaystyle t\neq t_{n}}$ then
            error: bad synchronization;
        ${\displaystyle i^{*}\leftarrow Select(\{i\in D:t_{ni}=t_{n}\});}$
        send star-message(t)to ${\displaystyle i^{*}}$
        ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
        ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;
    when receive x-message(${\displaystyle x\in X}$, Time t)
        if ${\displaystyle (t_{l}\leq t}$ and ${\displaystyle t\leq t_{n})}$ == false then
            error: bad synchronization;
        for each ${\displaystyle (x,x_{i})\in C_{xx}}$ do
            send x-message(${\displaystyle x_{i}}$,t) to child ${\displaystyle i}$
        ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
        ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;
    when receive y-message(${\displaystyle y_{i}\in Y_{i}}$, Time t)
        for each ${\displaystyle (y_{i},x_{i})\in C_{yx}}$ do
            send x-message(${\displaystyle x_{i}}$,t) to child ${\displaystyle i}$
        if ${\displaystyle C_{yy}(y_{i})\neq \phi }$ then
            send y-message(${\displaystyle C_{yy}(y_{i})}$, t) to parent;
        ${\displaystyle t_{l}\leftarrow \max\{t_{li}:i\in D\}}$;
        ${\displaystyle t_{n}\leftarrow \min\{t_{ni}:i\in D\}}$;

• Coupled DEVS
• Behavior of Coupled DEVS
• Simulation Algorithms for Atomic DEVS

• [Zeigler84] Bernard Zeigler (1984). Multifacetted Modeling and Discrete Event Simulation. Academic Press, London; Orlando. ISBN 978-0-12-778450-2.
• [ZKP00] Bernard Zeigler; Tag Gon Kim; Herbert Praehofer (2000). Theory of Modeling and Simulation (second ed.). Academic Press, New York. ISBN 978-0-12-778455-7.