next up previous
Next: AND-state: Up: Syntax Previous: Conflicting Transitions:

Duration of Events:

Assume we have chosen the transition from P1 to P3 labeled by A. According to the default connector, state Q1 becomes active. Now, the transition from Q1 to Q2 is not enabled, unless the environment generates another A event. The A event which triggered the transition from P1 to P3 is no longer present. Events are only available in the step directly succeeding their generation.

Erich Mikk
Mon Nov 16 11:33:11 MET 1998