Model Execution: Concepts and Terms : Simulation Scope : Nondeterminism And Racing : User-defined Transition Priorities

User-defined Transition Priorities

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.

 

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.