MinCoverPetri
Résumé
MinCoverPetri is a command-line application for the fast computation of the minimal coverability set of place/transition (P/T) Petri nets.
It can process P/T Petri nets stored in the Petri Net Markup Language (PNML) file format defined by the standard ISO/IEC 15909 Part 2.
See pnml.org for details about this format.
It uses the monotone pruning algorithm proposed in the article:
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
P.-A. Reynier and F. Servais.
In Fundamenta Informaticae, vol. 122, no. 1-2, pp. 1-30, IOS Press,2013.
DOI: 10.3233/FI-2013-781
MinCoverPetri is developed in C++ by the development team of the LIS.