2-Modelagem Básica

      Abaixo é apresentado um modelo que representa um sistema que tem dois estoques. Cada estoque tem um limite de 50 produtos. No modelo, os produtos (representados por tokens) são armazenados primeiro no Estoque1 e, caso o limite do Estoque1 seja ultrapassado (50 produtos), os produtos são armazenados no Estoque2. Esse controle de qual o estoque deve ser utilizado é feito pelo arco inibidor. O arco inibidor conecta o lugar LimitadorDoEstoque1 à transição Chegada2. Assim, quando o Estoque1 atingir seu limite (o lugar LimitadorDoEstoque1 não tiver mais tokens), a transição Chegada2 ficará habilitada, liberando o Estoque2 para receber produtos.