1-Introdução

      A fim de exemplificar o uso das redes de Petri, iremos modelar um exemplo de um sistema real usando os elementos básicos de uma RdP. Considere um sistema de estoque, o qual é composto por caminhões para entregar e distribuir produtos, bem como funcionários para receber e colocar os produtos nas instalações do estoque. Abaixo é apresentado um pequeno esquema desse sistema. Como é possível observar, um sistema de estoque pode possuir muitos detalhes. No entanto, a nível de modelagem, é possível considerar apenas o que é relevante para o estudo. Isto é, concentrar nas características relevantes e ignorar as irrelevantes. Esse processo chama-se abstração. Assim, para o sistema de estoque iremos considerar apenas que ocorrem duas ações: (i) a chegada de um produto para ser armazenado e (ii) a saída de um produto. Além disso, iremos considerar que o estoque está inicialmente sem produtos e ele não tem limite de capacidade.

      Na Figura abaixo é apresentada uma RdP que representa um sistema de estoque sem limite de capacidade. No entanto, primeiramente, é necessário entender quais são os estados e as ações do sistema. Conforme explicado anteriormente, o sistema possui duas ações principais que consistem na chegada e saída de um produto. Além disso, o sistema pode assumir dois estados: com estoque e sem estoque. Uma vez levantados os estados e as ações do sistema, é possível modelá-lo usando as redes de Petri. Visto que ações e os estados são representados por transições e lugares respectivamente, o modelo resultante possui duas transições chamadas de Chegada e Saída que representam a chegada e a saída dos produtos, e um lugar chamado de Estoque que representa o estoque do sistema. Por fim, os produtos são representados por tokens, pois eles são usados para especificar o estado do sistema (ex.: com ou sem estoque). Para representar o fluxo dos produtos, os lugares e as transições são ligados através de arcos. Note que inicialmente não há produtos no estoque, então não há tokens no lugar Estoque.