To handle situations where non-determinism may occur, the user can manually set explicit priorities on transitions directly in the Statechart, by selecting the relevant transitions and assigning them a priority.
●
● When priorities are not assigned to all transitions exiting a state, the transitions with no priority setting will have the lowest priority.
●
● The user-defined priorities cannot violate Statechart semantics, i.e. transitions which according to the regular Transition Priority rule following the Statechart hierarchy, have higher priority than others, cannot be assigned a lower user-defined priority.