- 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,
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.