MinCoverPetri
Dans le cadre des recherches de Pierre-Alain Reynier de l’équipe Modélisation et Vérification (MOVE) ayant abouti à la publication Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning, un prototype d’outil de calcul de l’ensemble minimal de couverture de réseaux de Petri a été développé en Python. La cellule développement technologique s’est appuyée… Lire la suite »