Report on the Model Checking Contest at Petri Nets 2011 - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue LNCS Transactions on Petri Nets and Other Models of Concurrency Année : 2012

Report on the Model Checking Contest at Petri Nets 2011

Fabrice Kordon
Alban Linard
  • Fonction : Auteur
Didier Buchs
  • Fonction : Auteur
Maximilien Colange
  • Fonction : Auteur
  • PersonId : 971687
Sami Evangelista
  • Fonction : Auteur
Kai Lampka
  • Fonction : Auteur
Niels Lohmann
  • Fonction : Auteur
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Yann Thierry-Mieg
Harro Wimmel
  • Fonction : Auteur

Résumé

This article presents the results of the Model Checking Contest held within the SUMo 2011 workshop, a satellite event of Petri Nets 2011. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. The participating tools were compared on several examinations (state space generation, deadlock detection and evaluation of reachability formulæ) run on a set of common models (Place/Transition and Symmetric Petri nets). The collected data gave some hints about the way techniques can scale up depending on both examinations and the characteristics of the models. This paper also presents the lessons learned from the organizer’s point of view. It discusses the enhancements required for future editions of the Model Checking Contest event at the Petri Nets conference.

Dates et versions

hal-01270053 , version 1 (05-02-2016)

Identifiants

Citer

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, et al.. Report on the Model Checking Contest at Petri Nets 2011. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2012, Lecture Notes in Computer Science, 7400 (VI), pp.169-196. ⟨10.1007/978-3-642-35179-2_8⟩. ⟨hal-01270053⟩
124 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More