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: