PetrA - redes de Petri

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

Activa

El concepto de red activa está muy relacionado con la ausencia completa de candados mortales en sistemas opertaivos. Se dice que una red de Petri está activa si, no importando que marca se alcance desde $M_0$, si aún se puede realizar una secuencia de disparo. Esto significa que una red de Petri activa garantiza la ausencia total de candados mortales, no importando la secuencia de disparos que se seleccione.

La propiedad de red activa es el ideal para muchos sistemas, sin embargo, verificar esta propiedad en sistemas grandes resulta resulta poco práctico y muy costoso.

La condición activa se define (o mide) en diversos niveles:

Se dice que una transición $t$ en una red de Petri $(N,M_0)$ es:

  1. Muerta ($L0$-viva) si $t$ nunca se dispara en ninguna secuencia en $L(N,M_0)$.

  2. $L1$-activa (potencialmente disparable) si $t$ puede dispararse al menos una vez en alguna secuencia en $L(N,M_0)$.

  3. $L2$-activa si dado cualquier entero positivo $k$, $t$ puede dispararse al menos $k$ en alguna secuencia en $L(N,M_0)$.

  4. $L3$-activa si $t$ aparece infinitamente, frecuentemente en alguna secuencia en $L(N,M_0)$.

  5. $L4$-activa o activa si $t$ es $L1$-activa para cualquier marca en $R(N,M_0)$.

Se dice que una red de Petri $(N,M_0)$ es $Lk$-viva si cualquier transicción en la red es $Lk$-activa (con $k=0,1,2,3,4$).

PetrA | Next: Reversibilidad y estado inicial Up: Propiedades de comportamiento Previous: Acotamiento
ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie