next up previous
Next: Inter-level Transitions: Up: Updated syntax Previous: Maximal Parallelism:

Implicitly Generated Events:

Whenever a state st is entered/exited as the result of executing a transition, implicitly the corresponding events entered(st)/exited(st) (abbreviated en(st)/ex(st)) are generated. So, the simultaneous entering of state S2 and T2 enables the transition from Q2 to P2 labeled `en(S2) and en(T2)' in the next step.

Erich Mikk
Tue Nov 24 13:50:54 MET 1998