Question

Considerando algumas propriedades da Redes de Petri, analise as afirmativas a seguir:
I - Segurança: Uma rede de Petri é dita segura quando seus lugares (excluindo os buffers) não podem possuir mais que uma marca.
II - Vivacidade: Uma rede é viva se existe uma marcação inicial para a qual todas as suas transições são vivas.
III - Reiniciabilidade: Reiniciabilidade – uma rede é reiniciável quando for possível voltar a sua marcação inicial, a partir de qualquer marcação alcançável. IV - Alcançabilidade: Uma marcação de uma rede é alcançável quando for possível alcançá-la por meio de uma sequência infinita de disparos a partir da marcação inicia.
Agora assinale apenas a alternativa que representa a resposta correta.

Answer 1

5(E)-2(A)-3(B)-1(D)-4(C)