Automação - Rede de Petri

Comente o funcionamento da rede para o maior número de estados iniciais possível 19 Dois processadores utilizam uma memória comum Suponha que cada processador pode assumir um dentre tês estados não necessita de memória solicita o uso da memória mas não a usa ou usa a memória a Modele o funcionamento deste sistema por uma rede de petri b Quais são os invariantes de marcação desta rede de petri c A rede de petri obtida é conservativa d Mostre que esta rede de petri é viva 20 Considere que há dois paletes cada um portando uma peça que passam sucessivamente sobre as máquinas MA1 e MA2 ver figura 16 A máquina MA1 só pode tratar uma peça por vez e seu tempo de serviço D1 é igual a duas unidades de tempo ut A máquina MA2 pode tratar duas peças por vez e seu tempo de serviço por peça é D23ut Represente o funcionamento deste sistema por uma rede de petri temporizada nos lugares O estado inicial é tal que os dois paletes estão no estoque ST1 Represente o grafo de marcações do funcionamento deste sistema à velocidade máxima Figura 14 A B Processo 1 Memória Figura 15 Processo 2 Figura 16 MA1 MA2 D1 D2 13 Estabelecer as matrizes de incidência para as redes de petri da figura 10 14 Encontrar as principais propriedades da rede de petri da figura 11 utilizando o método de redução para as três marcações iniciais a seguir a M0100000 b M0200000 c M0110000 15 Reduzir a rede de petri da figura 12 preservando seus invariantes Efetue as reduções considerando as transições na ordem T1 T2 T4 e T3 Figura 10 P1 P2 T1 T3 T2 P3 T4 2 2 a P1 P2 T1 T2 b P1 T1 Figura 11 P2 T2 P3 T3 P5 P4 P6 T5 Figura 12 P1 T1 T2 P3 T3 P4 P2 P5 T4 16 Considere a figura 13 Quando a produção de uma peça é concluída o produto a deposita em um estoque se houver espaço livre A capacidade de estoque é de três peças Depois de depositar a peça no estoque o produtor começa a produzir outra peça Um consumidor após consumir uma peça de cada vez retira uma nova peça do estoque para consumo a Represente o funcionamento do sistema recém descrito por uma rede de petri com marcação inicial correspondente à da figura b Quais são os invariantes de marcação do sistema e quais seus significados 17 Considere um protocolo de gerenciamento de cabines e cabides em uma piscina Ao entrar o cliente procura por uma cabine livre ao encontrála ele entra se troca e coloca suas vestes na cabine Em seguida solicita um cabide onde guarda suas roupas para liberar a cabine Após o banho o cliente entra em uma cabine com seu cabide libera o cabide e a seguir vestese e libera a cabine Modele este protocolo para três cabines e cinco cabides a O número de clientes banhandose é limitado b A rede de petri é limitada c Mostre que há um estado bloqueante d Há bloqueios para quaisquer números de cabines e de cabides e Defina um protocolo para o qual não haja bloqueio e mostre a rede de petri correspondente f Modifique a rede de petri apresentada no item e para modelar o número de clientes que esperam por uma cabine para entrar na piscina 18 Considere duas bolas de bilhar A e B que se deslocam sobre uma mesma linha paralela a um dos lados da mesa Cada bola pode estar em um dos três estados seguintes em movimento para a direita em movimento para a esquerda ou parada Modele o comportamento destas bolas por uma rede de petri supondo que a Quando uma bola bate na lateral da mesa ela parte no sentido oposto ao qual ela vinha se movendo e à mesma velocidade b Se ambas as bolas estão em movimento supõese que elas têm a mesma velocidade e batem uma contra a outra elas partem em sentido inverso e à mesma velocidade e c Se uma bola estiver parada e a outra colidir com ela a que estava parada passa a moverse e a outra pára Produtor Consumidor Estoque depósito retirada Figura 13