@misc{indiciae18336bc78f16,
  title = {Model Checking Contest @ Petri Nets, Report on the 2013 edition},
  author = {Fabrice Kordon and Alban Linard and Marco Beccuti and Didier Buchs and Łukasz 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ésar Rodríguez and Christian Rohr and Yann Thierry-Mieg and Harro Wimmel and Karsten Wolf},
  year = {2013},
  url = {https://arxiv.org/abs/1309.2485},
  note = {Source identifier: 1309.2485}
}