2-Modelagem Básica

      Neste tópico, iremos abordar os arcos comuns multivalorados, bem como os arcos inibidores multivalorados. Ou seja, arcos que possuem pesos maiores que 1. A seguir é mostrado um exemplo com arcos comuns e, logo abaixo, será mostrado um exemplo com arcos inibidores. A fim de exemplificar o uso do arco (comum) multivalorado, suponha que uma fábrica de bolos faz 3 bolos com 1Kg de farinha de trigo. Como mostrado no modelo abaixo, a fábrica recebe por vez 1 quilo de farinha e para cada quilo ela faz 3 bolos. Após isso, cada bolo feito sai da fábrica por unidades. No Estado 1, é mostrado o modelo do sistema em seu estado inicial. Isto é, antes de receber a farinha para fazer os bolos. No Estado 2, a transição EntradaFarinha1Kg é disparada, isto é, 1Kg de farinha entra na fábrica, originando um token no lugar Farinha1Kg. No Estado 3, ocorre a fabricação de 3 bolos, de modo que a transição FazerBolos é disparada e gera 3 tokens no lugar Bolos. Observe que o arco que conecta a transição FazerBolos com o lugar Bolos tem peso 3 (por isso é chamado de arco multivalorado). Consequentemente, 3 tokens são gerados no lugar Bolos. Vale ser ressaltado que outros arcos do modelo têm peso 1. Para arcos com peso 1, não há necessidade de rotular o arco com o número 1. Por fim, no Estado 4, um bolo sai da fábrica pelo disparo da transição Saída, visto que o peso do arco entre Bolos e Saída é 1.

      No tópico 2.7, mostramos um exemplo com o arco inibidor de peso 1. Agora, iremos ver uma extensão desse exemplo, de modo que o arco inibidor possui peso maior que 1. Na rede de Petri na animação abaixo, o arco inibidor que conecta o lugar P0 à transição TE2 tem peso 4. Assim, para que a transição TE2 seja habilidade é necessário que a quantidade de tokens no lugar P0 seja menor que 4. Seguindo essa mesma linha de raciocínio, se o peso do arco inibidor fosse 1, então para que a transição TE2 fosse habilitada seria necessário que a quantidade de tokens no lugar P0 fosse menor que 1, ou seja, zero.