next up previous
Next: Conflicting Transitions: Up: Updated syntax Previous: External Stimuli:

Non-Determinism:

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
Tue Nov 24 13:50:54 MET 1998