Um modelo de rede Petri consiste em nós de condições, se...

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.