Next: Broadcast communication:
Up: Updated syntax
Previous: Transition Priority:
Paper : ``The scope of a transition is the lowest OR-state
which is neither exited nor entered by the respective transition.''
The scope of transition Q2 to P2 is state SUD whereas the scope of the
transitions from S2 to S1 is R1 and from T2 to T1 is R2. If more than
one transition is enabled, priority is given to that transition whose
scope is highest in the state hierarchy. Consequently, priority is
given to transition Q2 to P2. If scopes of transitions are
identical, a situation of non-determinism arises. Note that
non-determinism arises if both the transition from P3 to P1 labeled by
B and the transition from Q2 to P2 are enabled.
Tue Nov 24 13:50:54 MET 1998