PetrA - redes de Petri

Next: Cubrir Up: Propiedades de comportamiento Previous: Activa

Reversibilidad y estado inicial

Se dice que una red de Petri es reversible si $M_0$ es alcanzable para cualquier marca \( M\in R(N,M_0). \) Así, una red reversible regresará a su estado inicial.

PetrA
ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie