Petri Nets Repository: a tool to benchmark and debug Petri Net tools

Abstract : Foragivenscientificcommunity,beingabletouseacommonandrich accepted benchmark for the evaluation of algorithms and prototypes is an added value. The goal of this paper is to present Petri Nets Repository, an open Petri nets models database. It offers two main ways to navigate through the benchmark using criteria related to Petri net properties: a Web interface, and a Web service API (REST). So far, this database embeds the models from the Model Checking Contest, as well as those of the discontinued Petriweb. A placeholder is available to store, when possible, the outputs of the Model Checking Contest; then for the corresponding models there will be formulas and their accepted results available too. We believe this would help the community to easily create oracles to debug new algorithms and tools.
Type de document :
Communication dans un congrès
38th International Conference, PETRI NETS 2017, Jun 2017, Zaragoza, Spain. Springer, 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, 10258, pp.125-135, 2017, Lecture Notes in Computer Science
Liste complète des métadonnées


http://hal.upmc.fr/hal-01492419
Contributeur : Fabrice Kordon <>
Soumis le : vendredi 9 juin 2017 - 17:24:36
Dernière modification le : dimanche 18 juin 2017 - 16:02:02

Fichier

PNR2017_HillahEtAl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01492419, version 1

Collections

Citation

Lom Messan Hillah, Fabrice Kordon. Petri Nets Repository: a tool to benchmark and debug Petri Net tools. 38th International Conference, PETRI NETS 2017, Jun 2017, Zaragoza, Spain. Springer, 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, 10258, pp.125-135, 2017, Lecture Notes in Computer Science. <hal-01492419>

Partager

Métriques

Consultations de
la notice

196

Téléchargements du document

2