[PDF][PDF] Model Checking Contest
P Nets - 2013 - academia.edu
P Nets
2013•academia.eduThis document presents the results of the Model Checking Contest held at Petri Nets 2013 in
Milano. This contest aimed at a fair and experimental evaluation of the performances of
model checking techniques applied to Petri nets. This is the third edition after two successful
editions in 2011 [34] and 2012 [33]. The participating tools were compared on several
examinations (state space generation and evaluation of several types of formulæ–
reachability, LTL, CTL for various classes of atomic propositions) run on a set of common …
Milano. This contest aimed at a fair and experimental evaluation of the performances of
model checking techniques applied to Petri nets. This is the third edition after two successful
editions in 2011 [34] and 2012 [33]. The participating tools were compared on several
examinations (state space generation and evaluation of several types of formulæ–
reachability, LTL, CTL for various classes of atomic propositions) run on a set of common …
Abstract
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 [34] and 2012 [33].
The participating tools were compared on several examinations (state space generation and evaluation of several types of formulæ–reachability, LTL, CTL for various classes of atomic propositions) 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 contest, model per model and examination per examination. An HTML version of this report is also provided [32].
academia.edu