Exercício 1
Uma máquina automatizada pode ser encontrada em três
estados de operação: pronta, operando e em manutenção. Se a
máquina está pronta, a mesma poderá ser colocada em
operação ou poderá falhar. Se a máquina estiver operando a
mesma pode falhar ou terminar sua operação com sucesso e
retornar ao estado de pronta. Ao falhar a máquina é reparada e
volta para o estado de pronta. Obter o modelo RdP que
represente as transições de estado. Fazer uma análise das
propriedades da rede utilizando árvore de alcançabilidade.
Exercício 2
No exercício anterior considere que uma atividade de
manutenção exige um setup que permite retornar a máquina
para o estado operando. Modifique a rede para representar esta
situação.
Exercício 3
• Considere que no exercício anterior, o setup
reinicia a máquina. Modifique o modelo e
analise o resultado.
Exercício 4
• Considere que no exercício anterior, o setup
além de reiniciar a máquina também volta
ao processamento. Considere também que
exista uma manutenção que volta
diretamente ao processamento, isto é, sem
setup. Modifique o modelo e analise o
resultado.
Exercício 5
• Em uma linha de produção automotiva existe uma cabine
de pintura que ao receber, por exemplo, a porta de um
veículo, dispara duas atividades em paralelo. A primeira
atividade é responsável por pintar o lado externo da porta e
a segunda é responsável por pintar o lado interno. Após a
pintura da parte externa, existe uma situação onde um teste
de qualidade reprova a pintura e repete o procedimento de
pintura externa. Após as pinturas das partes a linha de
produção encaminha a porta para outro setor e a cabine de
pintura é reincializada para a pintura de outra porta.
Desenvolva o modelo em Rede de Petri e analise o
resultado.
Exercício 7
Em uma sala existem 5 filósofos japoneses cujas atividades são:
Pensar e Comer. Para a atividade de comer, o filósofo necessita de dois
recursos (palito da esquerda e da direita) para acessar um delicioso
arroz sem sal no centro da mesa. Modelar o problema utilizando rede de
Petri e analisar o modelo.
Exercício 8
Exercício 9
Analise a Rdp
p1 - pronto enviar
t2 - enviar
p3 - msg chegou
10
t4 - CRC Ok
t3 - msg c/ erro
p2 - espera reconhecimento
5
1
p5 - msg recebida
t1- nova msg
t8 - time out
2
p4 - erro
t5 - envia reconhecimento
1
5
t6 - reconhecimento c/ erro
2
t7 - reconhecimento OK
p8 - buffer disponível
4
p7 - reconhecimento recebido
p6 - pronto p/ receber
Exercício 10
• Analise a RdP abaixo para a marcação M0 = [ 1 0 0 1 0]
• Verificar se o estado M = [ 2 4 1 1 0] pertence ao conjunto de
alcançabilidade da rede.
P1
T1
0
P2
0
T2
P3
T4
0
P4
T3
0
P5
T5
0