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 number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called ''Cardinal n ...
s representing their priority level
[Gianfranco Balbo, "Introduction to Stochastic Petri Nets p. 101", Dipartimento di Informatica, Italy]
The enabled transitions with a given priority k always fire before any other enabled transition with priority j
References
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
Petri nets
{{comp-sci-stub