Cubrir

Se dice que una marca M en una red de Petri (N,M₀) 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.