Graphe d’accessibilité, détection de deadlock et de livelock, arbre de Karp-Miller (accélération ω) pour la finitude, simulation temporisée à transitions exponentielles, visualisation DOT/PNG, tests unitaires.
Académique 2025 → 2026
Bibliothèque de réseaux de Petri
Prouver qu'un système concurrent ne se bloque pas — sur un graphe, pas sur un test qui passe.
- Rôle
- Binôme, Modèles et Spécifications (Master 2)
- Contexte
- Université Marie & Louis Pasteur
- Statut
- Terminé
- Python
- Tests automatisés