Transition Priority

Statemachine to demonstrate different priorities

Different strategy to determine firing transition in cases there are more enabled transitions than one.

STATEMATE

uses Least Common Ancestor (LCA) rule to determine transition priority

RHAPSODY, UML

looks up from a leaf state, takes the transition closest to the leaf state (first enabled)

little bit more tricky with orthogonal regions in place