next up previous
Next: Duration of Events: Up: 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
Mon Nov 16 11:33:11 MET 1998