PetrA - redes de Petri

Next: Métodos de Análisis Up: Propiedades de comportamiento Previous: Distancia sincrónica

Equidad

En la literatura de redes de Petri[,], se han propuesto distintas nociones de equidad, de las cuales presentamos sólamente dos conceptos básicos: equidad acotada y equidad incondicional o global:
Equidad Acotada.
Se dice que dos transiciones $t_1$ y $t_2$ están en una relación de equidad acotada si el número máximo de veces en que una dispara mientras la otra no, está acotada. Se dice que una red de Petri $(N,M_0)$ es de equidad acotada si cada par de transiciones en la red esta en una relación equidad acotada.

Equidad incondicional o global.
Se dice que una secuencia $\sigma$ es de equidad incondicional si es finita o si cada transición en la red aparece infinitamente en $\sigma$. Se dice que una red $(N,M_0)$ es de equidad incondicional si cada secuencia de disparo $\sigma$ de $M\in R(N,M_0)$ es de equidad incondicional.

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