Arcos e inibidores

Arcos são as setas que ligam lugares e transições. Eles definem o que cada transição consome e o que produz.

Os dois sentidos

Sentido	Nome	O que faz
lugar → transição	arco de entrada	a transição consome ficha dali
transição → lugar	arco de saída	a transição produz ficha ali

Uma transição só dispara quando todos os seus arcos de entrada têm ficha disponível. É assim que se expressa "preciso de um cliente e de um atendente livre".

Multiplicidade

Por padrão, cada arco move uma ficha. A multiplicidade muda isso: um arco de entrada com multiplicidade 3 exige três fichas e consome as três.

Serve para representar lotes e proporções:

• uma remessa que só sai com 10 itens
• uma peça que consome 4 parafusos
• um processo que precisa de 2 núcleos

Consumir e produzir precisam fechar

Se um arco de entrada tem multiplicidade 2 e o de saída tem 1, cada disparo destrói uma ficha. Às vezes é intencional — montar uma peça a partir de duas. Mas costuma ser engano, e o sintoma é a vazão cair pela metade sem explicação.

Ao usar multiplicidade, confira se a conta fecha, ou se a diferença é proposital.

Arco inibidor

O arco inibidor faz o contrário do normal: enquanto o lugar tiver fichas, a transição não dispara. Ele não consome nada — só observa.

É desenhado com uma bolinha na ponta, em vez de seta.

Serve para "só faça isso enquanto aquilo estiver vazio":

• só aceite novos pedidos enquanto a fila não estiver cheia
• só ligue o servidor reserva enquanto o principal estiver fora
• só inicie a limpeza enquanto não houver ninguém no sistema

Com multiplicidade, o bloqueio passa a valer a partir daquela quantidade. Um inibidor de multiplicidade 3 ligado à Fila bloqueia a transição quando a fila chega a 3 ou mais.

Inibidor ou guarda?

As duas formas conseguem impedir um disparo sob condição. Para um limite simples, dão exatamente o mesmo resultado:

Forma	Como se escreve	Fila média	Vazão
Arco inibidor, multiplicidade 3	uma seta no desenho	0,355	0,0968
Guarda #Fila < 3	uma expressão	0,355	0,0968

A escolha é de clareza:

• Inibidor quando a condição é "aquele lugar está vazio" ou "não passou de N". Fica visível no desenho, sem precisar abrir a transição.
• Guarda quando a condição envolve mais de um lugar, ou uma comparação que não seja um limite simples. Veja Condições de guarda.

Prefira o inibidor quando der

Uma condição que aparece no desenho é lida por quem olha a rede. Uma guarda só aparece ao selecionar a transição — o que é fácil de perder de vista ao revisar um modelo grande.