Given a coupled DEVS model, simulation algorithms are methods to generate the model's legal behaviors, which are a set of trajectories not to reach illegal states.
(see behavior of a Coupled DEVS model.)
[Zeigler84] originally introduced the algorithms that handle time variables related to lifespan
denotes the current time.
And the remaining time, is equivalently computed as apparently
Based on these relationships, the algorithms to simulate the behavior of a given Coupled DEVS are written as follows.