Deadlock/Bloqueo

En sistemas operativos, el deadlock, es el bloqueo permanente de un conjunto de procesos en un sistema concurrente que compiten por recursos del sistema o bien se comunican entre ellos.

Al modelar una red, siempre se debe chequear que su ejecución no esté bloqueada por un mal diseño. Por ejemplo, consideremos la siguiente imagen:

Supongamos que no ponemos la marcación inicial en el sitio "Cinta libre". En ese caso, la transición "Persona ingresa a la cinta" no estará nunca habilitada, ya que es necesario que reciba un token por cada flecha de entrada. 

En este caso, la red será INCORRECTA, ya que ninguna persona podrá usar la cinta.

RESUMEN

Si una red de petri tiene bloqueo en algunos de sus tramos, la red es INCORRECTA. La mejor forma de chequear que no haya bloqueo es ejecutando la red paso a paso.