2.5.4 Priorities

Here you decide whether priorities should be obeyed (entering <Y> ) or ignored (entering <N> ) while firing. By default, priorities are ignored. Priorites are non-negative integers assigned to the transitions. To obey priorities means that, in a given state, only those enabled transitions may fire which possess the highest (i.e. largest) priority among all enabled transitions [Sta90, (103)]. The use of priorities restricts the analysis possibilities.