Next: AND-state:
Up: Updated syntax
Previous: Conflicting Transitions:
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