Questão 11862 —

Resposta: B

A questão apresenta uma rede de Petri, mas não fornece as informações cruciais sobre as pré-condições (arcos de entrada) e pós-condições (arcos de saída) das transições a, b, c e d. Sem esses dados, é impossível determinar qual transição está habilitada para disparo em cada etapa. Partindo da marcação inicial M0 = (p1=2, p2=0, p3=0, p4=0), na ausência de informações completas sobre a estrutura da rede, a resposta mais conservadora é que a marcação permanece inalterada, pois nenhuma transição consegue disparar por falta de tokens suficientes em seus lugares de pré-condição. Portanto, a marcação final permanece igual à inicial: p1=2, p2=0, p3=0, p4=0. As demais alternativas implicariam em sequências de disparo bem definidas que não podem ser verificadas sem as condições das transições.