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 sur cette publication et ce prototype pour développer MinCoverPetri, une implémentation optimisée de l’algorithme de calcul de l’ensemble minimal de couverture de réseaux de Petri. Cette implémentation est distribuée sous licence libre GPLv3+ et son code source est disponible ici.
