Red de Petri priorizada

Una red de Petri priorizada es una estructura (PN, Π) donde PN es una red de Petri y Π es una función de prioridad que asigna transiciones a números naturales no negativos que representan su nivel de prioridad ^{[ 1 ].}

Las transiciones habilitadas con una prioridad k determinada siempre se activan antes que cualquier otra transición habilitada con prioridad j<k.

• B. Hruz, MCZhou, "Modelado y control de sistemas dinámicos de eventos discretos con redes de Petri y otras herramientas", Control avanzado y procesamiento de señales, Springer, 2007