Raw Report on the Model Checking Contest at Petri Nets 2012

This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011. The partici...

Full description

Saved in:
Bibliographic Details
Main Authors Kordon, F, Linard, A, Buchs, D, Colange, M, Evangelista, S, Fronc, L, Hillah, L. M, Lohmann, N, Paviot-Adet, E, Pommereau, F, Rohr, C, Thierry-Mieg, Y, Wimmel, H, Wolf, K
Format Journal Article
LanguageEnglish
Published 08.09.2012
Subjects
Computer Science - Software Engineering
Online AccessGet full text

Cover

More Information
Summary:This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011. The participating tools were compared on several examinations (state space generation and evaluation of several types of formulae - structural, reachability, LTL, CTL) run on a set of common models (Place/Transition and Symmetric Petri nets). After a short overview of the contest, this paper provides the raw results from the context, model per model and examination per examination.
DOI:10.48550/arxiv.1209.2382