Questão de Engenharia Mecatrônica — Automação na Engenharia Mecatrônica — SELECON 2026
Engenharia MecatrônicaAutomação na Engenharia Mecatrônica
- Código
- qg760510
- Banca
- SELECON
- Órgão
- EMGEPRON
- Ano
- 2026
- Nível
- Superior
- Cargo
- Engenheiro Mecatrônico
Considere a rede de Petri descrita a seguir, com lugares P₀ (Processo 1 ocioso), P₁ (Processo 2 ocioso), R₁ (Recurso 1 livre), R₂ (Recurso 2 livre), P₂ (Processo 1 segurando R₁ e aguardando R2 ), P₃ (Processo 2 segurando R₂ e aguardando R₁ ), C₁ e C₂ (seções críticas). As transições (disparos) são:t ₁ : P₀ + R₁ → P2t ₂ : P₂ + R₂ → C₁t ₃ : C₁ → P₀ + R₁ + R2t ₄ : P₁ + R₂ → P3t ₅ : P₃ + R₁ → C2t 6 : C₂ → P₁ + R₁ + R2A marcação inicial é M0 : 1 ficha em P₀ , 1 ficha em P₁ , 1 ficha em R₁ e 1 ficha em R2 (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:
- Anão existe marcação de deadlock alcançável a partir de M₀ , pois sempre haverá ao menos uma transição habilitada
- Bexiste deadlock alcançável e ele ocorre quando há 1 ficha em C₁ e 1 ficha em C₂ , simultaneamente
- Cexiste deadlock alcançável e ele ocorre quando há 1 ficha em R₁ e 1 ficha em R₂ , com P₀ e P₁ vazios
- Dexiste deadlock alcançável e ele ocorre quando há 1 ficha em P₂ e 1 ficha em P₃ , com R₁ e R₂ vazios