Model Checking Contest @ Petri Nets, Report on the 2013 edition

Fabrice Kordon, Alban Linard, Marco Beccuti +14

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…