1-Introdução

      Continuando com o exemplo anterior, suponha agora que a partir do estado inicial ocorram as seguintes ações:

      1º - A transição Chegada é disparada 7 vezes seguidas.
      2º - Depois, a transição Saída é disparada 3 vezes seguidas.
      3º - Por fim, a transição VendaProduto é disparada 2 vezes seguidas.

      Na figura abaixo, mostramos o que ocorre em cada sequência. Na primeira sequência, a transição Chegada é disparada 7 vezes. Essa ação significa que 7 produtos chegaram ao estoque (representado pelo número de tokens no lugar Estoque). Na segunda sequência, ocorre o disparo 3 vezes da transição Saída que representa a remoção dos produtos do estoque e a adição dos mesmos na loja. Isto é, três tokens são removidos do lugar Estoque e três tokens são adicionados ao lugar Loja. Por fim, a transição VendaProduto é disparada 2 vezes, de modo que o lugar Loja fica com apenas um produto (representado por um token).