{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:51:37Z","timestamp":1764053497806},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319578606"},{"type":"electronic","value":"9783319578613"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57861-3_9","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T02:10:40Z","timestamp":1493863840000},"page":"125-135","source":"Crossref","is-referenced-by-count":10,"title":["Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools"],"prefix":"10.1007","author":[{"given":"Lom Messan","family":"Hillah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,5]]},"reference":[{"key":"9_CR1","unstructured":"cURL. https:\/\/curl.haxx.se"},{"key":"9_CR2","unstructured":"Ashkenas, J.: CoffeeScript. http:\/\/coffeescript.org"},{"key":"9_CR3","unstructured":"Dolan, S.: jq. https:\/\/stedolan.github.io\/jq\/"},{"key":"9_CR4","unstructured":"ECMA: ECMA-404. The JSON Data Interchange Standard. http:\/\/www.json.org"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/514183.514185","volume":"2","author":"RT Fielding","year":"2002","unstructured":"Fielding, R.T., Taylor, R.N.: Principled design of the modern web architecture. ACM Trans. Internet Techn. 2(2), 115\u2013150 (2002)","journal-title":"ACM Trans. Internet Techn."},{"key":"9_CR6","unstructured":"Garavel, H.: The VLPN Benchmarck Suite. http:\/\/cadp.inria.fr\/resources\/vlpn\/"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/11767589_24","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R Goud","year":"2006","unstructured":"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\u2013420. Springer, Heidelberg (2006). doi: 10.1007\/11767589_24"},{"key":"9_CR8","first-page":"9","volume":"76","author":"LM Hillah","year":"2009","unstructured":"Hillah, L.M., Kindler, E., Kordon, F., Petrucci, L., Tr\u00e8ves, N.: A primer on the Petri net markup language and ISO\/IEC 15909\u20132. Petri Net Newsl. 76, 9\u201328 (2009)","journal-title":"Petri Net Newsl."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"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., Tri\u0323nh, G., Wolf, K.: Complete Results for the 2016 Edition of the Model Checking Contest, June 2016. http:\/\/mcc.lip6.fr\/2016\/results.php","DOI":"10.1007\/978-3-662-53401-4_12"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-662-53401-4_12","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XI","author":"F Kordon","year":"2016","unstructured":"Kordon, F., Garavel, H., Hillah, L.M., Paviot-Adet, E., Jezequel, L., Rodr\u00edguez, C., Hulin-Hubard, F.: MCC\u20192015 \u2013 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\u2013273. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-53401-4_12"},{"key":"9_CR11","unstructured":"Lightbend, Z.: Play Framework. https:\/\/www.playframework.com"},{"key":"9_CR12","unstructured":"Jones, M., Bradley, J., Sakimura, N.: JSON Web Token (JWT), Request for Comments 7519, Internet Engineering TaskForce (2015). https:\/\/tools.ietf.org\/html\/rfc7519"},{"key":"9_CR13","unstructured":"MongoDB, Inc: MongoDB. https:\/\/www.mongodb.com"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57861-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T11:53:51Z","timestamp":1692791631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57861-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319578606","9783319578613"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57861-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}