Equidad

En la literatura de redes de Petri[23,24], 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₁ y t₂ 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₀) 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₀) es de equidad incondicional si cada secuencia de disparo $\sigma$ de $M\in R(N,M_0)$ es de equidad incondicional.