Modelagem de Maquina de Refrigerantes com Redes de Petri - Sem Condicoes de Corrida e Deadlocks

PROBLEMA 01 Uma padaria comprou uma máquina de refrigerantes que possui os seguintes componentes Compartimento de estoque compartimento capaz de armazenar até 10 latas de refrigerante que poderão ser compradas pelos clientes da padaria Compartimento de entrada de moedas de R 025 compartimento através do qual um cliente pode inserir moedas de R 025 na máquina de refrigerante Compartimento de entrada de moedas de R 050 compartimento através do qual um cliente pode inserir moedas de R 050 na máquina de refrigerante Compartimento de entrada de moedas de R 100 compartimento através do qual um indivíduo pode inserir moedas de R 100 na máquina de refrigerante Compartimento de saída de latas compartimento através do qual uma lata é posta para fora da máquina tão logo o cliente tenha depositado nela uma quantidade de moedas que equivalham ao valor do refrigerante na padaria Botão de reiniciar botão que uma vez pressionado libera toda à quantidade de dinheiro que foi depositada até o momento pelo cliente na máquina e reinicia o processo de depósito e contagem de moedas na mesma Diante do exposto desenvolva um modelo em redes de Petri que seja livre de condições de corrida e de deadlocks e que retrate o funcionamento da máquina de refrigerantes descrita Em seu modelo além das considerações já mencionadas os seguintes aspectos também devem ser comtemplados 1 O preço da lata de refrigerante na padaria é de R 300 2 A qualquer momento pode ser inserido uma nova lata no compartimento de estoque desde que haja espaço disponível no mesmo 3 O botão de reiniciar pode ser pressionado a qualquer momento 4 Os compartimentos de entradas de moedas devem ser abertos o que permitiriam o depósito de moedas na máquina somente quando houver ao menos uma lata no compartimento de estoque 5 A máquina não devolve troco logo as entradas de moedas devem ser fechadas o que impediria o depósito de moedas na máquina de acordo com a quantia que já foi depositada na máquina por exemplo se o cliente já depositou R 225 até o momento a entrada de R 100 deve ser fechada haja vista que o preço da lata na padaria é de R 300 PROBLEMA 02 Uma caldeira possui o seguinte sistema de aquecimento automatizado ilustrado na Figura 1 Figura 1 Aquecedor do Problema 02 Conforme ilustrado nesse sistema existem dois sensores dentro da caldeira um que mede a temperatura e o outro que mede a pressão atmosférica no interior desta Ambos esses sensores podem estar em um dentre os três estados possíveis Normal a variável mensurada pelo sensor temperatura ou pressão encontrase abaixo de um valor máximo aceitável definido para esta Limite a variável mensurada pelo sensor temperatura ou pressão é igual ao valor máximo aceitável definido para esta Alerta a variável mensurada pelo sensor temperatura ou pressão é maior que o valor máximo aceitável definido para esta Além dos sensores o sistema possui um aquecedor que pode submeter à caldeira aos quatro níveis de temperatura descritos a seguir Alto maior nível de aquecimento possível Deve ser escolhido apenas quando os níveis de temperatura e de pressão da caldeira estiverem abaixo dos valores máximos aceitáveis definidos para estas duas variáveis Médio segundo maior nível de aquecimento possível Deve ser escolhido apenas quando uma dessas situações acontecer O nível de temperatura é igual ao valor máximo definido para esta variável e o nível de pressão é menor que o valor máximo definido para esta variável O nível de pressão é igual ao valor máximo definido para esta variável e o nível de temperatura é menor que o valor máximo definido para esta variável Baixo terceiro maior nível de aquecimento possível Deve ser escolhido apenas quando os níveis de temperatura e de pressão da caldeira forem iguais aos valores máximos aceitáveis definidos para estas duas variáveis Desligado quarto maior nível de aquecimento possível o qual corresponde ao aquecedor sem emitir calor para a caldeira Esse nível deve ser escolhido tão logo o nível de temperatura ou o nível de pressão ultrapasse o valor máximo aceitável definido para a variável em questão Conforme ilustrado na Figura 1 além dos sensores e do aquecedor existe um bloco denominado Controle no sistema que a cada segundo deverá ler o estado dos dois sensores existentes dentro da caldeira e atualizar o nível de temperatura do aquecedor segundo a lógica descrita anteriormente Nesse sentido desenvolva um modelo em redes de Petri que seja livre de deadlocks livre de condições de corrida e que retrate toda a dinâmica do sistema de aquecimento descrito NOTA no seu modelo deve ser possível trocar o estado dos dois sensores a qualquer momento durante a simulação da rede de Petri