Question

Considerando que dentro do PIPE no módulo Invariant Analysis possibilita conferir a vivacidade da rede. Avalie as seguintes asserções e a relação proposta entre elas:
I - Uma rede é viva se existe uma marcação inicial para qual todas as suas transições são vivas.

PORQUE

II -Uma transição é viva se ela puder a partir de qualquer estado, ser disparada pelo menos uma vez.

A respeito dessas asserções, assinale a opção correta.

a.
As asserções I e II são proposições verdadeiras, mas a a asserção II não é uma justificativa da asserção I.

b.
A asserção I é uma proposição falsa e asserção II é uma proposição verdadeira.

c.
As asserções I e II são verdadeiras, e a asserção II é uma justificativa correta da asserção I.

d.
As asserções I e II são proposições falsas.

e.
A asserção I é uma proposição verdadeira e a asserção II é uma proposição falsa.

Answer 1

As asserções I e II são verdadeiras, e a asserção II é uma justificativa correta da asserção I.

Answer 2

As asserções I e II são verdadeiras, e a asserção II é uma justificativa correta da asserção I.  Corrigido pelo Ava