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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
The JSON version of the API reference documentation is at /api/apiref.json.
- 9.
The PNR HTTP server is based on Netty (http://netty.io/).
References
cURL. https://curl.haxx.se
Ashkenas, J.: CoffeeScript. http://coffeescript.org
Dolan, S.: jq. https://stedolan.github.io/jq/
ECMA: ECMA-404. The JSON Data Interchange Standard. http://www.json.org
Fielding, R.T., Taylor, R.N.: Principled design of the modern web architecture. ACM Trans. Internet Techn. 2(2), 115–150 (2002)
Garavel, H.: The VLPN Benchmarck Suite. http://cadp.inria.fr/resources/vlpn/
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
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)
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
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
Lightbend, Z.: Play Framework. https://www.playframework.com
Jones, M., Bradley, J., Sakimura, N.: JSON Web Token (JWT), Request for Comments 7519, Internet Engineering TaskForce (2015). https://tools.ietf.org/html/rfc7519
MongoDB, Inc: MongoDB. https://www.mongodb.com
Acknowledgements
The authors thank Hubert Garavel for his helpful advice during the design of Petri Net Repository.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Hillah, L.M., Kordon, F. (2017). Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. In: van der Aalst, W., Best, E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2017. Lecture Notes in Computer Science(), vol 10258. Springer, Cham. https://doi.org/10.1007/978-3-319-57861-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-57861-3_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57860-6
Online ISBN: 978-3-319-57861-3
eBook Packages: Computer ScienceComputer Science (R0)