Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools

  • Lom Messan Hillah
  • Fabrice KordonEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10258)


For a given scientific community, being able to use a common and rich accepted benchmark for the evaluation of algorithms and prototypes is an added value. The goal of this paper is to present Petri Nets Repository, an open Petri nets models database. It offers two main ways to navigate through the benchmark using criteria related to Petri net properties: a Web interface, and a Web service API (REST). So far, this database embeds the models from the Model Checking Contest, as well as those of the discontinued Petriweb.

A placeholder is available to store, when possible, the outputs of the Model Checking Contest; then for the corresponding models there will be formulas and their accepted results available too. We believe this would help the community to easily create oracles to debug new algorithms and tools.


Average Response Time Satisfiability Modulo Theory Benchmark Suite Command Line Tool Hardware Model Check 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



The authors thank Hubert Garavel for his helpful advice during the design of Petri Net Repository.


  1. 1.
  2. 2.
    Ashkenas, J.: CoffeeScript.
  3. 3.
  4. 4.
    ECMA: ECMA-404. The JSON Data Interchange Standard.
  5. 5.
    Fielding, R.T., Taylor, R.N.: Principled design of the modern web architecture. ACM Trans. Internet Techn. 2(2), 115–150 (2002)CrossRefGoogle Scholar
  6. 6.
    Garavel, H.: The VLPN Benchmarck Suite.
  7. 7.
    Goud, R., van Hee, K.M., Post, R.D.J., van der Werf, J.M.E.M.: Petriweb: a repository for petri nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 411–420. Springer, Heidelberg (2006). doi: 10.1007/11767589_24 CrossRefGoogle Scholar
  8. 8.
    Hillah, L.M., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: A primer on the Petri net markup language and ISO/IEC 15909–2. Petri Net Newsl. 76, 9–28 (2009)Google Scholar
  9. 9.
    Kordon, F., Garavel, H., Hillah, L.M., Hulin-Hubard, F., Chiardo, G., Hamez, A., Jezequel, L., Miner, A., Meijer, J., Paviot-Adet, E., Racordon, D., Rodriguez, C., Rohr, C., Srba, J., Thierry-Mieg, Y., Trịnh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016.
  10. 10.
    Kordon, F., Garavel, H., Hillah, L.M., Paviot-Adet, E., Jezequel, L., Rodríguez, C., Hulin-Hubard, F.: MCC’2015 – the fifth model checking contest. In: Koutny, M., Desel, J., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency XI. LNCS, vol. 9930, pp. 262–273. Springer, Heidelberg (2016). doi: 10.1007/978-3-662-53401-4_12 CrossRefGoogle Scholar
  11. 11.
    Lightbend, Z.: Play Framework.
  12. 12.
    Jones, M., Bradley, J., Sakimura, N.: JSON Web Token (JWT), Request for Comments 7519, Internet Engineering TaskForce (2015).
  13. 13.
    MongoDB, Inc: MongoDB.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Univ. Paris Nanterre, LIP6 CNRS UMR 7606ParisFrance
  2. 2.Sorbonne Universités, UPMC Univ. Paris 06, LIP6 CNRS UMR 7606ParisFrance

Personalised recommendations