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
Kategorier: