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

Fabrice Kordon et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics