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.
Escolha uma:
a. Apenas as afirmativas I, II e III estão corretas. ERRADA
b. Apenas as afirmativas I e II estão corretas. ERRADA
c. Apenas a afirmativa IV está correta.
d. Apenas as afirmativas II, III e IV estão corretas.
e. Apenas as afirmativas I, III e IV estão corretas.

Answer 1

Apenas as afirmativas I, II e III estão corretas.