MinCoverPetri - Archive ouverte HAL Accéder directement au contenu
Logiciel Année : 2018

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.

Mots clés

14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More