Next: Conflicting Transitions:
Up: 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.
Erich Mikk
Mon Nov 16 11:33:11 MET 1998