{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T00:06:46Z","timestamp":1780358806637,"version":"3.54.1"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032278784","type":"print"},{"value":"9783032278791","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-27879-1_18","type":"book-chapter","created":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:05:52Z","timestamp":1780355152000},"page":"359-370","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Web-Based Tool for\u00a0Modeling, Simulation, and\u00a0Analysis of\u00a0Petri Nets with\u00a0Data"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-4295-1268","authenticated-orcid":false,"given":"Christian","family":"Imenkamp","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8206-7636","authenticated-orcid":false,"given":"Agnes","family":"Koschmider","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9151-0441","authenticated-orcid":false,"given":"Christoph","family":"Matheja","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8425-2309","authenticated-orcid":false,"given":"Andrey","family":"Rivkin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,1]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Dingle, N.J., Knottenbelt, W.J., Suto, T.: Pipe2: a tool for the performance evaluation of generalised stochastic petri nets 36(4), 34\u201339 (2009)","DOI":"10.1145\/1530873.1530881"},{"key":"18_CR2","doi-asserted-by":"publisher","unstructured":"Dubois, T., Larsen, K.G., Srba, J.: Statistical model checking of stochastic timed-arc petri nets. In: Amparore, E., Mikulski, \u0141. (eds.) In Proceedings of PETRI NETS\u201925. pp. 174\u2013196. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-94634-9_9","DOI":"10.1007\/978-3-031-94634-9_9"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-031-10769-6_4","volume-title":"Automated Reasoning","author":"P Felli","year":"2022","unstructured":"Felli, P., Montali, M., Winkler, S.: CTL model checking for data-aware dynamic systems with arithmetic. In: Blanchette, J., Kov\u00e1cs, L., Pattinson, D. (eds.) Automated Reasoning, pp. 36\u201356. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-10769-6_4"},{"key":"18_CR4","unstructured":"Freytag, T., S\u00e4nger, M.: WoPeD - an educational tool for workflow nets. In: CEUR Workshop Proceedings, vol. 1295, pp. 31\u201340 (2014). https:\/\/ceur-ws.org\/Vol-1295\/paper6.pdf"},{"key":"18_CR5","unstructured":"Imenkamp, C., Kuhn, M., Gr\u00fcger, J., Matheja, C., Rivkin, A., Koschmider, A.: YAPNE: a tool for modeling and automated verification of data petri nets. In: CEUR Workshop Proceedings, vol.\u00a04088 (2025)"},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9(3), 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Kitzmann, I., K\u00f6nig, C., L\u00fcbke, D., Singer, L.: A simple algorithm for automatic layout of BPMN processes. In: 2009 IEEE Conference on Commerce and Enterprise Computing, pp. 391\u2013398 (2009)","DOI":"10.1109\/CEC.2009.28"},{"key":"18_CR8","doi-asserted-by":"publisher","unstructured":"Kuhn, M., Gr\u00fcger, J., Matheja, C., Rivkin, A.: Data petri nets meet probabilistic programming. In: Business Process Management, pp. 21\u201338. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-70396-6_2","DOI":"10.1007\/978-3-031-70396-6_2"},{"key":"18_CR9","unstructured":"Kuhn, M., Gr\u00fcger, J., Matheja, C., Rivkin, A.: LogPPL: a tool for probabilistic process mining. In: CEUR Workshop Proceedings, vol.\u00a03783 (2024)"},{"key":"18_CR10","doi-asserted-by":"publisher","unstructured":"Montali, M.: Automated reasoning for data-aware petri nets. In: Amparore, E.G., Mikulski, L. (eds.) Proceedings of PETRI NETS\u201925. Lecture Notes in Computer Science, vol. 15714, pp. 1\u201317. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-94634-9_1","DOI":"10.1007\/978-3-031-94634-9_1"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Suvorov, N.M., Lomazova, I.A.: Verification of data-aware process models: checking soundness of data petri nets. J. Log. Algebraic Methods Program. 138 (2024)","DOI":"10.1016\/j.jlamp.2024.100953"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Wolf, K.: Petri net model checking with LoLa 2. In: Proceedings of PETRI NETS\u201918, pp. 351\u2013362 (2018)","DOI":"10.1007\/978-3-319-91268-4_18"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-27879-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:05:52Z","timestamp":1780355152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-27879-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032278784","9783032278791"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-27879-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hamburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/petrinets2026.informatik.uni-hamburg.de\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}