{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T00:06:02Z","timestamp":1780358762126,"version":"3.54.1"},"publisher-location":"Cham","reference-count":22,"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_16","type":"book-chapter","created":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:06:15Z","timestamp":1780355175000},"page":"335-346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["PACO: A Petri Net-Based Tool for\u00a0Designing, Simulating, and\u00a0Analyzing Multi-objective Stochastic Processes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9125-4171","authenticated-orcid":false,"given":"Emanuele","family":"Chini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4373-7811","authenticated-orcid":false,"given":"Daniel","family":"Amadori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2612-1519","authenticated-orcid":false,"given":"Pietro","family":"Sala","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4925-0874","authenticated-orcid":false,"given":"Sidra Nasir","family":"Rajput","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9904-2826","authenticated-orcid":false,"given":"Matteo","family":"Baldi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7567-8355","authenticated-orcid":false,"given":"Mattia","family":"Cappelletti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,1]]},"reference":[{"key":"16_CR1","unstructured":"Lark - parsing library & toolkit (2024). https:\/\/github.com\/lark-parser\/lark. Accessed 20 Apr 2024"},{"key":"16_CR2","unstructured":"Bank, S.: Graphviz (2024). https:\/\/github.com\/xflr6\/graphviz. Accessed 20 Apr 2024"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Belluccini, S., De\u00a0Nicola, R., Dumas, M., Pullonen-Raudvere, P., Re, B., Tiezzi, F.: Model-based verification of data protection mechanisms in collaborative business processes: S. belluccini et al. Softw. Syst. Model. 24(2), 489\u2013521 (2025)","DOI":"10.1007\/s10270-024-01217-6"},{"key":"16_CR4","doi-asserted-by":"publisher","unstructured":"Berti, A., van Zelst, S., Schuster, D.: PM4PY: a process mining library for python. Software Impacts 17, 100556 (2023). https:\/\/doi.org\/10.1016\/j.simpa.2023.100556, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2665963823000933","DOI":"10.1016\/j.simpa.2023.100556"},{"key":"16_CR5","doi-asserted-by":"publisher","unstructured":"Cappiello, C., Fugini, M.G., Gangadharan, G., Ferreira, A.M., Pernici, B., Plebani, P.: First-step toward energy-aware adaptive business processes. In: On the Move to Meaningful Internet Systems: OTM 2010 Workshops: Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings, pp.\u00a06\u20137. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16961-8_4","DOI":"10.1007\/978-3-642-16961-8_4"},{"key":"16_CR6","unstructured":"Carrera, E.: Pydot (2024). https:\/\/github.com\/pydot\/pydot. Accessed 20 Apr 2024"},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Chini, E., Sala, P., Simonetti, A., Zare, O.: Reactive synthesis for expected impacts. Electron. Proc. Theor. Comput. Sci. 409, 35\u201352 (2024). https:\/\/doi.org\/10.4204\/eptcs.409.7","DOI":"10.4204\/eptcs.409.7"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: Greatspn 1.7: graphical editor and analyzer for timed and stochastic petri nets. Perform. Eval. 24(1-2), 47\u201368 (1995)","DOI":"10.1016\/0166-5316(95)00008-L"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10799-016-0266-4","volume":"18","author":"MG Cimino","year":"2017","unstructured":"Cimino, M.G., Palumbo, F., Vaglini, G., Ferro, E., Celandroni, N., La Rosa, D.: Evaluating the impact of smart technologies on harbor\u2019s logistics via BPMN modeling and simulation. Inf. Technol. Manage. 18(3), 223\u2013239 (2017)","journal-title":"Inf. Technol. Manage."},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"De\u00a0Leoni, M., Van Der\u00a0Aalst, W.M., Van\u00a0Dongen, B.F.: Data-and resource-aware conformance checking of business processes. In: Business Information Systems: 15th International Conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings 15, pp. 48\u201359. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-30359-3_5","DOI":"10.1007\/978-3-642-30359-3_5"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Fernandes, J., Reis, J., Mel\u00e3o, N., Teixeira, L., Amorim, M.: The role of industry 4.0 and bpmn in the arise of condition-based and predictive maintenance: a case study in the automotive industry. Appl. Sci. 11(8), 3438 (2021). https:\/\/doi.org\/10.3390\/app11083438","DOI":"10.3390\/app11083438"},{"issue":"1\u20132","key":"16_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0166-5316(95)00010-U","volume":"24","author":"R German","year":"1995","unstructured":"German, R., Kelling, C., Zimmermann, A., Hommel, G.: TimeNet: a toolkit for evaluating non-Markovian stochastic petri nets. Perform. Eval. 24(1\u20132), 69\u201387 (1995)","journal-title":"Perform. Eval."},{"key":"16_CR13","unstructured":"Inc., P.T.: Dash (2024). https:\/\/dash.plotly.com\/. Accessed 20 Apr 2024"},{"key":"16_CR14","unstructured":"K\u00e4rgenberg, V.: Online business process model simulator. Ph.D. thesis, Ph. D. Thesis, University of Tartu (2012)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Katoen, J.P.: The probabilistic model checking landscape. In: Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science, pp. 31\u201345 (2016)","DOI":"10.1145\/2933575.2934574"},{"key":"16_CR16","doi-asserted-by":"publisher","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011). LNCS, vol.\u00a06806, pp. 585\u2013591. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-030-53291-8_25","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2020","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Santos, G.: PRISM-games 3.0: stochastic game verification with concurrency, equilibria and time. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12225, pp. 475\u2013487. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_25"},{"key":"16_CR18","doi-asserted-by":"publisher","unstructured":"Magnani, M., Montesi, D.: BPMN: how much does it cost? An incremental approach. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) Business Process Management, pp. 80\u201387. Springer Berlin Heidelberg, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_6","DOI":"10.1007\/978-3-540-75183-0_6"},{"key":"16_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2022.102013","volume":"107","author":"L Pufahl","year":"2022","unstructured":"Pufahl, L., Zerbato, F., Weber, B., Weber, I.: BPMN in healthcare: challenges and best practices. Inf. Syst. 107, 102013 (2022). https:\/\/doi.org\/10.1016\/j.is.2022.102013","journal-title":"Inf. Syst."},{"key":"16_CR20","unstructured":"Ram\u00edrez, S.: FastAPI (2020). https:\/\/fastapi.tiangolo.com"},{"issue":"6","key":"16_CR21","doi-asserted-by":"publisher","first-page":"1375","DOI":"10.1007\/s10270-024-01202-z","volume":"23","author":"T Skouti","year":"2024","unstructured":"Skouti, T., Seiger, R., Furrer, F.J., Strahringer, S.: RBPMN: the value of roles for business process modeling. Softw. Syst. Model. 23(6), 1375\u20131406 (2024)","journal-title":"Softw. Syst. Model."},{"key":"16_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2024.102505","volume":"129","author":"TC Workneh","year":"2025","unstructured":"Workneh, T.C., Sala, P., Rizzi, R., Cristani, M.: Business process compliance with impact constraints. Inf. Syst. 129, 102505 (2025)","journal-title":"Inf. Syst."}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T23:06:22Z","timestamp":1780355182000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-27879-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032278784","9783032278791"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-27879-1_16","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"}}]}}