A Prioritised Petri net is a structure where PN is a Petri net and Π is a priority function that maps transitions into non-negative natural numbers representing their priority level