Raw report on the model checking contest at Petri nets (2012)

by F Kordon, A Linard, D Buchs, M Colange, S Evangelista, L Fronc, L-M Hillah, N Lohmann, E Paviot-Adet, F Pommereau, C Rohr, Y Thierry-Mieg, H Wimmel, K Wolf