KIELER SyncCharts Transitions priorities
A priority is assigned to a transition.
Yakindu SCT Transitions priorities
Priorities are set in a State.