Este documento describe tres tipos de redes de Petri: redes repetitivas, redes parcialmente repetitivas y redes consistentes. Las redes repetitivas son aquellas donde la secuencia de transiciones es la misma cada vez que se ejecuta un ciclo, mientras que las redes parcialmente repetitivas solo son repetitivas en algunas ejecuciones. Por último, una red de Petri es consistente si siempre puede llegar a un estado final desde cualquier estado alcanzable.

2. Redes
repetitivas


3. Red de Petri
(parcialmente)
repetitivas


4. p0
p0
t0
t0
p2
p1
p2
p1
Red de Petri
Repetitiva
t2
t3
t1
p3
t1
t2
t4
p4
Red Repetitiva
t3
p3
Red parcialmente Repetitiva

5. Consistencia


6. Red de Petri
(parcialmente)
Consistente


7. Red de Petri
Consistente