MinCoverPetri

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-781MinCoverPetri is developed in C++ by the development team of the LIS