Prioriterat Petri-nät

Ett prioriterat petrinät är en struktur (PN, Π) där PN är ett petrinät och Π är en prioritetsfunktion som mappar övergångar till icke-negativa naturliga tal som representerar deras prioritetsnivå

De aktiverade övergångarna med en given prioritet k tänds alltid före någon annan aktiverad övergång med prioritet j

Källor

  • B. Hruz, MCZhou, "Modellering och kontroll av dynamiska system för diskreta händelser med Petri-nät och andra verktyg", Advanced Control and signal processing, Springer, 2007