Model Checking Contest @ Petri Nets‚ Report on the 2013 edition by Kordon, F, Linard, A, Beccuti, M, Buchs, D, Fronc, L, Hillah, L, Hulin−Hubard, F, Legond−Aubry, F, Lohmann, N, Marechal, A, Paviot−Adet, E, Pommereau, F, Rodríguez, C, Rohr, C, Thierry−Mieg, Y, Wimmel, H, Wolf, K