Chef (plat principal)
Cuisinier (accompagnement)
Ressource partagée
Jeton (●)
Transition
État des places
👨🍳 Chef
P1 — Ingrédients prêts
P2 — Plat en cuisson
Plat principal prêt
🧑🍳 Cuisinier
P3 — Ingrédients prêts
P4 — Accompagnement en cuisson
Accompagnement prêt
🍳 Ressource & sortie
P5 — Plan de travail libre
P6 — Repas servi
Étape en cours
État initial
Le Chef et le Cuisinier ont leurs ingrédients prêts.
Le plan de travail est libre. T1 et T3 sont activables
mais en conflit sur la ressource P5.
Propriétés vérifiées
🛡 Sécurité
✅ Vivacité
🔄 Sans deadlock
G ¬(T1_active ∧ T3_active)
F (P6 ≥ 1)
G EF enabled(T)
F (P6 ≥ 1)
G EF enabled(T)
0 / 6