Considere a rede de Petri descrita a seguir, com lugares P0 ...
Próximas questões
Com base no mesmo assunto
Ano: 2026
Banca:
SELECON
Órgão:
EMGEPRON
Prova:
SELECON - 2026 - EMGEPRON - Engenheiro Mecatrônico |
Q3975130
Engenharia Mecatrônica
Considere a rede de Petri descrita a seguir, com lugares P0
(Processo 1 ocioso), P1
(Processo 2 ocioso), R1
(Recurso 1 livre),
R2
(Recurso 2 livre), P2
(Processo 1 segurando R1
e aguardando
R2
), P3
(Processo 2 segurando R2
e aguardando R1
), C1
e C2
(seções críticas). As transições (disparos) são:
t 1 : P0 + R1 → P2
t 2 : P2 + R2 → C1
t 3 : C1 → P0 + R1 + R2
t 4 : P1 + R2 → P3
t 5 : P3 + R1 → C2
t 6 : C2 → P1 + R1 + R2
A marcação inicial é M0 : 1 ficha em P0 , 1 ficha em P1 , 1 ficha em R1 e 1 ficha em R2 (demais lugares vazios), isto é, M0 = (P0=1, P1=1, R1=1, R2=1; demais=0). Em relação à alcançabilidade e deadlock (impasse) dessa rede, pode-se afirmar que:
t 1 : P0 + R1 → P2
t 2 : P2 + R2 → C1
t 3 : C1 → P0 + R1 + R2
t 4 : P1 + R2 → P3
t 5 : P3 + R1 → C2
t 6 : C2 → P1 + R1 + R2
A marcação inicial é M0 : 1 ficha em P0 , 1 ficha em P1 , 1 ficha em R1 e 1 ficha em R2 (demais lugares vazios), isto é, M0 = (P0=1, P1=1, R1=1, R2=1; demais=0). Em relação à alcançabilidade e deadlock (impasse) dessa rede, pode-se afirmar que:
Conheça nossos planos