Next:
Duration of Events:
Up:
Updated syntax
Previous:
Non-Determinism:
Conflicting Transitions:
Both transitions originate from P1 so they are in conflict, meaning that they can not be performed in the same step.
Erich Mikk
Tue Nov 24 13:50:54 MET 1998
