Simulation Algorithm

- initial marking,

- initial list of external events,

- IF for the enabled transitions, the associated

event is X = e, then go to 3.

2-IF the scheduler is empty END, else :

extract the first event of the scheduler,

let X = Ei, with time t,

3- défine the set of enabled transitions on X,

if this set is empty go to 2

4- Do a CSS for X, do X=e go to 3.