@article{mcc2013,
  title = "Model Checking Contest @ Petri Nets, Report on the 2013 edition",
  author = "Fabrice Kordon and Alban Linard and Marco Beccuti and Didier Buchs and Lukasz Fronc and Lom-Messan Hillah and Francis Hulin-Hubard and Fabrice Legond-Aubry and Niels Lohmann and Alexis Marechal and Emmanuel Paviot-Adet and Franck Pommereau and C{\'e}sar Rodr\'{\i}guez and Christian Rohr and Yann Thierry-Mieg and Harro Wimmel and Karsten Wolf",
  year = "2013",
  journal = "CoRR",
  volume = "abs/1309.2485",
}