2-Modelagem Básica

      Crie uma rede de Petri que representa um sistema de fila aplicada aos serviços bancários. Nesse sistema há dois caixas de banco. Os clientes chegam ao banco e ficam em fila até serem atendidos por um dos dois caixas. Não há limites de clientes no banco. No banco, em média, chega um cliente a cada 20 minutos. Já um caixa atende, em média, um cliente a cada 15 minutos, enquanto o outro caixa atende um cliente a cada 12 minutos. Cada caixa atende um cliente por vez. Dica: use a estrutura de escolha não determinística para representar os caixas.