1-Introdução

      Para darmos continuidade ao nosso estudo sobre o funcionamento de uma rede de Petri, vamos estender o exemplo do estoque ilimitado. Agora, suponha que o produto que sai do estoque vai para uma loja e depois é vendido. O modelo de RdP para esse sistema pode ser descrito por três estados, os quais são apresentados abaixo.

      No primeiro estado, não há produtos no estoque e nem na loja. Se observarmos o modelo é possível ver que as transições (Estado 1 (inicial) ) Saída e VendaProduto não podem ser executadas (disparadas) porque elas necessitam de um produto (token) nos lugares de saída (Estoque e Loja). A necessidade de haver um token, em um lugar previamente conectado, para que uma transição seja disparada é chamada de "pré-condição" de uma transição. No estado 1 apenas a transição Chegada pode ser disparada, pois a mesma não possui lugares de entrada. Assim a pré-condição também é satisfeita. Note que, uma transição que não possui nenhum lugar de entrada é chamada de transição de origem e incondicionalmente estará sempre habilitada. Por outro lado, uma transição que não possui lugar de saída é chamada de sorvedouro e nunca produz tokens, apenas os consome.

      O Estado 2 ocorre quando a transição Chegada é disparada, de modo que um produto é adicionado no estoque (representado pelo lugar Estoque). Esse deslocamento de tokens que ocorre após o disparo de uma transição é chamado de "pós-condição". Após isso, a transição Saída poderá ser disparada deslocando um produto (token) para a loja (representado pelo lugar Loja), resultando no Estado 3. Por fim, a transição VendaProduto pode ser disparada representando a venda de um produto da loja, resultando no retorno ao estado inicial.