Sistemas Digitais e Automação Aula 09 – Redes de Petri
Exercícios Modele dois processos concorrentes entre si. Cada processo é cíclico e compostos por apenas três atividades. Estes processos compartilham entre si dois recursos. Um modelo em redes de Petri para este problema é apresentado no próximo slide.
P1 e P2
Exercícios Para a rede de petri da figura 3, com a marcação M(2,0,0,1), indicar: Quais são as transições habilitadas; e Quais as marcações alcançáveis após o disparo de cada uma destas transições.
Figura 3: P1 P2 P3 T1 T5 T2 T3 T4 P4 2 3
Exercícios Modele, com uma rede de Petri, o seguinte problema: uma linha de produção monta um produto a partir de suas peças A, B, C e D. A peça A é encaixada na peça B produzindo BC. Esta operação pode ser realizada ao mesmo tempo em que C e D são coladas produzindo CD. As peças BC e CD são então parafusadas produzindo o produto final.
Exercícios Considere uma célula de fabricação de canetas esferográficas, formadas por: As operações a serem efetuadas são: RC – encher cartucho com tinta e colocar ponta; BO – colocar tampinha traseira no corpo; A1 – inserir cartucho no conjunto corpo/tampinha; A2 – tampar conjunto final e embalar. Pede-se: Projete uma rede de Petri que represente o processo; Um possível vetor M de incialização que monte a etapa inicial da rede obtida de acordo com os lugares utilizados;
Exercícios Dada a rede Petri abaixo, obter o grafo de marcações alcançaveis; P1 P2 P3 P4 P5 T1 T2 T3 T4 T5