2-Modelagem Básica

      Em um dos exemplos do tópico anterior, discutimos sobre um sistema de estoque de um loja de produtos (ver imagem e animação abaixo). No exemplo, mostramos que a partir da transição Chegada, quando ela era disparada (produz um token no lugar Estoque), ela habilitava o disparo da transição Saída. Semelhantemente, quando a transição Saída era disparada, ela habilitava a transição VendaProduto. Ou seja, da chegada de um produto até a venda do mesmo um conjunto de passos sequenciais era executado.

      Sequenciamento: É uma formação ou padrão das redes de Petri que ocorre quando o disparo de uma transição acontece em sequência, sendo o disparo de uma transição anterior à condição necessária para o disparo da transição atual.