Top Qs
Timeline
Chat
Perspective
Prioritised Petri net
From Wikipedia, the free encyclopedia
Remove ads
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]
![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
|
The enabled transitions with a given priority k always fire before any other enabled transition with priority j<k.
Remove ads
References
Sources
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads