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<k.
References
- ↑ Gianfranco Balbo, "Introduction to Stochastic Petri Nets p. 101", Dipartimento di Informatica, Italy
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.