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

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

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

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.

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.

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