2-Modelagem Básica

      No tópico 1 mostramos um modelo de estoque em que não havia limite de capacidade. Aqui, como mostrado na figura abaixo, temos um modelo com limite de 50 produtos no estoque. No Estado Inicial, o estoque está vazio; em seguida, ocorre a chegada de dois produtos. Isto é, a transição Chegada é disparada duas vezes (Sequência 1). Posteriormente, a transição Chegada é disparada mais 48 vezes (Sequência 2), completando assim, o limite do estoque em 50 produtos. Ao se atingir o limite de 50 produtos no estoque, a transição Chegada não poderá ser mais executada, visto que todos os tokens do lugar Limite foram consumidos. Por fim, a transição Saída é disparada 5 vezes (Sequência 3) liberando espaço para que sejam armazenados mais 5 produtos no estoque. Essas estruturas (modelos semelhante ao apresentado abaixo) das redes de Petri são chamadas de "buffers".