1. Definición (Red de Petri (parcialmente) Repetitiva): está estrechamente relacionado con la
propiedad vivacidad estructural.
Una red de Petri es (parcialmente) repetitiva si existe un marcado finito M 0 y una secuencia
de disparo s tal que (alguna) toda transición ocurre un número infinito de veces en Ro.
En un Red de Petri repetitiva cualquier transición puede ser disparada de forma indefinida.
Desde un punto de vista de la marcación, que significa que la misma etapa se puede realizar
tantas veces como sea necesario.
P1
2
2
t2
T1
P2
Definición (Red de Petri (parcialmente) Consistente): Una red de Petri es (parcialmente)
consistente si existe un marcado finito M0 y una secuencia de disparo s cíclica (desde a tal
que (alguna) toda transición ocurre al menos una vez en Ro.
P1
P2
t1
t2
P4
P3
t3
P5
t4
