Observe as imagens abaixo e marque a alternativa correta.

A marcação agora é (2, 0, 2, 0) (Figura B).

Quando ela dispara (Figura A), a marca habilitadora é mantida em P2.

Com o disparo de t1, a marcação resultante (2, 1, 0, 0), e t1 e t2 são habilitadas.

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,...｝