Observe as imagens abaixo e marque a alternativa correta. Uma rede de Petri marcada é um quadruplo (P, T, I, O). Uma marcação (M) de uma rede de P...

Observe as imagens abaixo e marque a alternativa correta.

Uma rede de Petri marcada é um quadruplo (P, T, I, O).
Uma marcação (M) de uma rede de Petri, C = (P, T, I, O), é uma função do conjunto de locais P para o conjunto de inteiros negativos: M:P→{0,1,2,...}
A marcação agora é (2, 0, 2, 0) (Figura B).
Com o disparo de t1, a marcação resultante (2, 1, 0, 0), e t1 e t2 são habilitadas.
Quando ela dispara (Figura A), a marca habilitadora é mantida em P2.
1.
2.
3.
4.
5.