TY  - RPRT
TI  - Model Checking Contest @ Petri Nets, Report on the 2013 edition
AU  - Fabrice Kordon
AU  - Alban Linard
AU  - Marco Beccuti
AU  - Didier Buchs
AU  - Łukasz Fronc
AU  - Lom-Messan Hillah
AU  - Francis Hulin-Hubard
AU  - Fabrice Legond-Aubry
AU  - Niels Lohmann
AU  - Alexis Marechal
AU  - Emmanuel Paviot-Adet
AU  - Franck Pommereau
AU  - César Rodríguez
AU  - Christian Rohr
AU  - Yann Thierry-Mieg
AU  - Harro Wimmel
AU  - Karsten Wolf
PY  - 2013
UR  - https://arxiv.org/abs/1309.2485
ID  - 1309.2485
ER  -