PetrA - redes de Petri

Next: Persistencia Up: Propiedades de comportamiento Previous: Reversibilidad y estado inicial

Cubrir

Se dice que una marca $M$ en una red de Petri $(N,M_0)$ se puede cubrir si existe una marca $M'\in R(N,M_0)$ tal que $M'(p)\geq M(p)$ para cada $p$ en la red. La propiedad de cubrir está muy relacionada con la propiedad $L1$-activa de las transiciones. Sea $M$ la marca mínima para habilitar la transición $t$. Entonces $t$ está muerto sí y solo sí, $M$ no se puede cubrir. El corolario a lo anterior nos dice que si $t$ es $L1$-activa sí y solo sí, $M$ sepuede cubrir.

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