Questão número 216130

Um modelo de rede Petri consiste em nós de condições, setas, nós de eventos e símbolos. Com relação a esse modelo é correto afirmar que

• A.

  os nós de entrada geralmente são representados por círculos e os de evento por linhas horizontais.

• B.

  um símbolo em uma condição de término significa que a condição ainda não foi alcançada.

• C.

  um nó de evento representa um evento que não pode terminar, mesmo quando todos os requisitos são obtidos. É uma representação típica de um impasse.

• D.

  um impasse em uma condição de término deve ser representado por um círculo e uma seta apontando para a condição de entrada.

• E.

  se todos os nós de condição de entrada de um nó de evento tiverem símbolos, então o evento pode terminar.