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
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.
Navegue em mais questões
{TITLE}
{CONTENT}
