Next: Conflicting Transitions:
Up: Updated syntax
Previous: External Stimuli:
Both transitions from P1 to P2 and from
P1 to P3 are enabled since the events A and C are present. One of the
transitions can be chosen to extend the current execution prefix.
Tue Nov 24 13:50:54 MET 1998