Prioritised Petri net

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] p. 101)

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

References

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

2. 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