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

Fabrice Kordon‚ Alban Linard‚ Marco Beccuti‚ Didier Buchs‚ Lukasz Fronc‚ Lom−Messan Hillah‚ Francis Hulin−Hubard‚ Fabrice Legond−Aubry‚ Niels Lohmann‚ Alexis Marechal‚ Emmanuel Paviot−Adet‚ Franck Pommereau‚ César Rodríguez‚ Christian Rohr‚ Yann Thierry−Mieg‚ Harro Wimmel and Karsten Wolf