Considere a rede de Petri descrita a seguir, com lugares P 0 (Processo 1 ocioso), P1 (Processo 2 ocioso), R 1 (Recurso 1 livre), R 2 (Recurso 2 livre), P 2 (Processo 1 segurando R 1 e aguardando R 2 ), P 3 (Processo 2 segurando R 2 e aguardando R 1 ), C 1 e C 2 (seções críticas). As transições (disparos) são: t 1 : P 0 + R 1 → P 2 t 2 : P 2 + R 2 → C 1 t 3 : C 1 → P 0 + R 1 + R 2 t 4 : P 1 + R 2 → P 3 t 5 : P 3 + R 1 → C 2 t 6 : C 2 → P 1 + R 1 + R 2 A marcação inicial é M 0 : 1 ficha em P 0 , 1 ficha em P 1 , 1 ficha em R 1 e 1 ficha em R 2 (demais lugares vazios), isto é, M 0 = (P 0 =1, P 1 =1, R 1 =1, R 2 =1; demais=0). Em relação à alcançabilidade e deadlock (impasse) dessa rede, pode-se afirmar que:

não existe marcação de deadlock alcançável a partir de M 0 , pois sempre haverá ao menos uma transição habilitada

existe deadlock alcançável e ele ocorre quando há 1 ficha em C 1 e 1 ficha em C 2 , simultaneamente

existe deadlock alcançável e ele ocorre quando há 1 ficha em R 1 e 1 ficha em R 2 , com P 0 e P 1 vazios

existe deadlock alcançável e ele ocorre quando há 1 ficha em P 2 e 1 ficha em P 3 , com R 1 e R 2 vazios

Questão 3551238 de Engenharia Mecatrônica - SELECON 2026

Questão

ID 3551238

Disciplina: Engenharia Mecatrônica

Assunto: Redes de Petri

Ano: 2026 Banca: SELECON - Instituto Nacional de Seleções e Concursos Órgão: Empresa Gerencial de Projetos Navais

Considere a rede de Petri descrita a seguir, com lugares

P₀ (Processo 1 ocioso), P1 (Processo 2 ocioso), R₁ (Recurso 1 livre), R₂ (Recurso 2 livre), P₂ (Processo 1 segurando R₁ e aguardando R₂ ), P₃ (Processo 2 segurando R₂ e aguardando R₁ ), C₁ e C₂ (seções críticas). As transições (disparos) são:

t₁ : P₀+ R₁ → P₂

t₂ : P₂ + R₂→ C₁

t₃ : C₁ → P₀ + R₁ + R₂

t₄ : P₁ + R₂ → P₃

t₅ : P₃ + R₁ → C₂

t₆ : C₂ → P₁ + R₁ + R₂

A marcação inicial é M₀ : 1 ficha em P₀ , 1 ficha em P₁ , 1 ficha em R₁ e 1 ficha em R₂ (demais lugares vazios), isto é, M₀ = (P₀=1, P₁=1, R₁=1, R₂=1; demais=0). Em relação à alcançabilidade e deadlock (impasse) dessa rede, pode-se afirmar que:

Estatísticas Cadernos

Questão 3551238

Continue estudando na plataforma