Réseaux de Pétri — cas pédagogiques NKILItech
Python 3.10 ou ultérieur, aucune dépendance.
Lancer : python analyse.py
Neuf modèles sont définis dans MODELES. Les vecteurs suivent les places de chaque modèle.
Une limite d’exploration dépassée lève une erreur ; ne pas conclure à une analyse complète.
Les marquages, invariants et propriétés dépendent des hypothèses indiquées dans le cours.
