next up previous
Next: AND-state: Up: Updated 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
Tue Nov 24 13:50:54 MET 1998