Prioritised Petri net explained

A Prioritised Petri net is a structure (PN, Π) where PN is a Petri net and Π is a priority function that maps transitions into non-negative natural numbers representing their priority level^[1]

The enabled transitions with a given priority k always fire before any other enabled transition with priority j

Sources

• B. Hruz, M.C.Zhou, "Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tool", Advanced Control and signal processing, Springer, 2007

Notes and References

1. Gianfranco Balbo, "Introduction to Stochastic Petri Nets p. 101", Dipartimento di Informatica, Italy