next up previous
Next: Broadcast communication: Up: Updated syntax Previous: Transition Priority:


Paper [2]: ``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.

Erich Mikk
Tue Nov 24 13:50:54 MET 1998