Considere a rede de Petri com a marcação inicial da figura.
A transição que possui a propriedade de ser não viva é a transição
Considere a rede de Petri com a marcação inicial da figura.
A transição que possui a propriedade de ser não viva é a transição
