📖 Méthode
Réseau de Petri — marquage courant
Franchissable Sélectionnée
Arbre des marquages accessibles
INTRO Bienvenue