A priority is assigned to a transition. Priorities are shown in a Tail Label.
Priorities are set in a State.
Create a new label with the index of the transition.
