A priority is assigned to a transition. Priorities are shown in a Tail Label.
Priorities are set in a State.
Gibt es die möglichkeit die Prioritäten in Tail Labels anzuzeigen?