Modelagem e Controle de Sistemas Automatizados - Redes de Petri

INSTITUTO FEDERAL DE EDUCAÇÃO CIÊNCIA E TECNOLOGIA DE SANTA CATARINA CAMPUS DE CHAPECÓ ENGENHARIA DE CONTROLE E AUTOMAÇÃO 8 Fase Modelagem e Controle de Sistemas Automatizados PROF Rodrigo Szpak LISTA II REDES DE PETRI 1 Modele e simule com uma rede de Petri o seguinte problema a Um sistema do tipo batelada batch pode produzir dois produtos Pr1 e Pr2 utilizando dois reatores em modo concorrente como representado na figura abaixo O produto Pr1 pode ser produzido pelo reator R1 ou pelo reator R2 devendo ser previamente armazenado respectivamente no buffer B1 ou B2 Já o produto P2 pode ser produzido apenas pelo reator R2 onde é diretamente carregado O comportamento do sistema é repetitivo uma vez o produto pronto cada reator é liberado e pode recomeçar uma nova atividade O reator R2 embora possa tratar dois tipos de produtos o faz um de cada vez Considere as marcações iniciais desta Rede de Petri sendo os lugares Pr1 Pr2 R1Livre e R2Livre 2 Modele e simule com uma rede de Petri o seguinte problema Um sistema de manufatura possui duas máquinas M1 e M2 Dois tipos de processos de fabricação são previstos para uma peça segundo a ordem de passagem nas máquinas P1O11O12 e P2O21O22 em que Oij é a jésima operação do processo de fabricação Pi A máquina M1 realiza as operações O11 e O22 e a máquina M2 as operações O12 e O21 Modele este sistema utilizando rede de Petri considerando dois casos diferentes a antes de realizar a segunda operação de seu processo de fabricação a máquina da primeira operação deve ser liberada b A máquina da primeira operação é liberada somente após o início da segunda operação de seu processo de fabricação INSTITUTO FEDERAL DE EDUCAÇÃO CIÊNCIA E TECNOLOGIA DE SANTA CATARINA CAMPUS DE CHAPECÓ ENGENHARIA DE CONTROLE E AUTOMAÇÃO 8 Fase Modelagem e Controle de Sistemas Automatizados PROF Rodrigo Szpak 3 Modele e simule com uma rede de Petri o seguinte problema Sistema de controle de semáforos em um cruzamento Esse sistema tem por finalidade implementar o controle de tráfego de um cruzamento Independentemente de as vias terem tráfego nos dois sentidos ou serem de mão única o sistema de automação será o mesmo desde que no caso de fluxo nos dois sentidos o tráfego seja interrompido ao mesmo tempo nos dois sentidos de tráfego As exigências de projeto são as seguintes i ambos os semáforos devem permanecer abertos verde por 30s e devem ficar 5s no amarelo ii por questão de segurança após um sinal fechar passar para o vermelho o outro só abrirá passará a verde 2s após o primeiro ter fechado 4 Modele e simule com uma rede de Petri o seguinte problema Desenvolver um sistema que liga automaticamente uma esteira assim que um objeto é colocado sobre a mesma caso a esteira esteja parada e permita que outros objetos sejam colocados mesmo que esta já esteja em movimento A esteira deve permanecer em movimento até que todos os objetos saiam dela Para o desenvolvimento do sistema de automação são necessários dois sensores que serão colocados no início e no fim da esteira conforme mostra a abaixo A capacidade máxima de 3 peças sobre a esteira ao mesmo tempo