1-Introdução

      No modelo de estoque com a loja, o produto chega no estoque, depois é transferido para a loja, e por fim, é vendido. Na figura abaixo é mostrado o modelo do sistema em seu estado inicial. Suponha que algumas ações ocorram na sequência abaixo:

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

Crie um modelo em RdP no ambiente de modelagem abaixo que mostra o resultado dessa sequência.

Modelo de estoque com loja de produtos.