Una red de Petri es parcialmente repetitiva si existe un marcado inicial finito y una secuencia de disparo que causa que alguna o toda transición ocurra un número infinito de veces. Una red es parcialmente consistente si existe un marcado inicial finito y una secuencia de disparo cíclica que causa que alguna o toda transición ocurra al menos una vez. Las redes repetitivas permiten que cualquier transición se dispare indefinidamente manteniendo el mismo estado, mientras que las redes consistentes garantizan que toda transición ocurra

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