2012/09/08 by Fabrice Kordon, Kordon, F., Alban Linard +25
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Petri Nets in System Modeling #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.1209.2382
openalex publication_date 2012/09/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.