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

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10258)

Abstract

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.

References

  1. 1.
  2. 2.
    Ashkenas, J.: CoffeeScript. http://coffeescript.org
  3. 3.
  4. 4.
    ECMA: ECMA-404. The JSON Data Interchange Standard. http://www.json.org
  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. http://cadp.inria.fr/resources/vlpn/
  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. http://mcc.lip6.fr/2016/results.php
  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. https://www.playframework.com
  12. 12.
    Jones, M., Bradley, J., Sakimura, N.: JSON Web Token (JWT), Request for Comments 7519, Internet Engineering TaskForce (2015). https://tools.ietf.org/html/rfc7519
  13. 13.
    MongoDB, Inc: MongoDB. https://www.mongodb.com

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