Prioritized Labels
Drag to reorder prioritized labels and change their relative priority.
Other Labels
bug
pseuco / colored-petri-nets
enhancement
pseuco / colored-petri-nets
Prioritized label
Drag to reorder prioritized labels and change their relative priority.