{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:04:48Z","timestamp":1774915488780,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031946332","type":"print"},{"value":"9783031946349","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-94634-9_12","type":"book-chapter","created":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:39Z","timestamp":1749283179000},"page":"242-264","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Translating Workflow Nets into the\u00a0Partially Ordered Workflow Language"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2375-2152","authenticated-orcid":false,"given":"Humam","family":"Kourani","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9394-6513","authenticated-orcid":false,"given":"Gyunam","family":"Park","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0955-6940","authenticated-orcid":false,"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,8]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-47919-2_13","volume-title":"Petri Nets: Central Models and Their Properties","author":"G Berthelot","year":"1987","unstructured":"Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 254, pp. 359\u2013376. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/978-3-540-47919-2_13"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Berthelot, G., Lri-Iie.: Checking properties of nets using transformations. In: Rozenberg, G., (ed.) APN 1985, vol. 222, pp. 19\u201340. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0016204","DOI":"10.1007\/BFb0016204"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpa.2023.100556","volume":"17","author":"A Berti","year":"2023","unstructured":"Berti, A., van Zelst, S.J., Schuster, D.: PM4Py: a process mining library for Python. Softw. Impacts 17, 100556 (2023)","journal-title":"Softw. Impacts"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-030-51831-8_23","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Dal Zilio","year":"2020","unstructured":"Dal Zilio, S.: MCC: a tool for unfolding colored petri nets in PNML format. In: Janicki, R., Sidorova, N., Chatain, T. (eds.) PETRI NETS 2020. LNCS, vol. 12152, pp. 426\u2013435. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51831-8_23"},{"key":"12_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets, vol. 40. Cambridge University Press, Cambridge (1995)"},{"issue":"12","key":"12_CR6","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.is.2013.12.004","volume":"47","author":"C Favre","year":"2015","unstructured":"Favre, C., Fahland, D., V\u00f6lzer, H.: The relationship between workflow graphs and free-choice workflow nets. Inf. Syst. 47, 197\u2013219 (2015)","journal-title":"Inf. Syst."},{"key":"12_CR8","unstructured":"Gardner, T.: UML modelling of automated business processes with a mapping to BPEL4WS. Orientation Web Serv. 30 (2003)"},{"key":"12_CR9","unstructured":"Jouck, T., Depaire, B.: PTandLogGenerator: a generator for artificial event data. In: Azevedo, L., Cabanillas, C., (eds.) Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016). CEUR Workshop Proceedings. Rio de Janeiro, Brazil, September 21, 2016, vol. 1789, pp. 23\u201327. CEUR-WS.org (2016)"},{"issue":"6","key":"12_CR10","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s12599-018-0541-5","volume":"61","author":"T Jouck","year":"2019","unstructured":"Jouck, T., Depaire, B.: Generating artificial data for empirical analysis of control-flow discovery algorithms - a process tree and log generator. Bus. Inf. Syst. Eng. 61(6), 695\u2013712 (2019)","journal-title":"Bus. Inf. Syst. Eng."},{"key":"12_CR11","unstructured":"Kourani, H., Berti, A., Schuster, D., van\u00a0der Aalst, WM.P.: Evaluating large language models on business process modeling: framework, benchmark, and self-improvement analysis. CoRR, abs\/2412.00023 (2024)"},{"key":"12_CR12","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-031-61007-3_18","volume-title":"BPMDS EMMSAD 2024 2024","author":"H Kourani","year":"2024","unstructured":"Kourani, H., Berti, A., Schuster, D., van der Aalst, W.P.: Process modeling with large language models. In: van der Aa, H., Bork, D., Schmidt, R., Sturm, A. (eds.) BPMDS EMMSAD 2024 2024. LNBIP, vol. 511, pp. 229\u2013244. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-61007-3_18"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Kourani, H., Berti, A., Schuster, D., van\u00a0der Aalst, W.M.P.: ProMoAI: process modeling with generative AI. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024, pp. 8708\u20138712. ijcai.org (2024)","DOI":"10.24963\/ijcai.2024\/1014"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kourani, H., Schuster, D., van\u00a0der Aalst, W.M.P.: Scalable discovery of partially ordered workflow models with formal guarantees. In: 5th International Conference on Process Mining, ICPM 2023, Rome, Italy, October 23-27, 2023, pp. 89\u201396. IEEE (2023)","DOI":"10.1109\/ICPM60904.2023.10271941"},{"key":"12_CR15","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-031-41620-0_6","volume-title":"BPM 2023","author":"H Kourani","year":"2023","unstructured":"Kourani, H., van Zelst, S.J.: POWL: partially ordered workflow language. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) BPM 2023. LNCS, vol. 14159, pp. 92\u2013108. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41620-0_6"},{"key":"12_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2024.102493","volume":"128","author":"H Kourani","year":"2025","unstructured":"Kourani, H., van Zelst, S.J., Schuster, D., van der Aalst, W.: Discovering partially ordered workflow models. Inf. Syst. 128, 102493 (2025)","journal-title":"Inf. Syst."},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-69108-1_16","volume-title":"Application and Theory of Petri Nets 1998","author":"P Langner","year":"1998","unstructured":"Langner, P., Schneider, C., Wehler, J.: Petri net based certification of event-driven process chains. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 286\u2013305. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-69108-1_16"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/11914853_9","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"KB Lassen","year":"2006","unstructured":"Lassen, K.B., van der Aalst, W.: WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 127\u2013144. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11914853_9"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J.: Robust Process Mining with Guarantees - Process Discovery, Conformance Checking and Enhancement. LNBIP, vol. 440. Springer, Cham (2022)","DOI":"10.1007\/978-3-030-96655-3"},{"issue":"4","key":"12_CR20","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Reisig, W., Rozenberg, G.: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets. LNCS vol. 1491. Springer, Cham (1998)","DOI":"10.1007\/3-540-65306-6"},{"issue":"3","key":"12_CR22","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1016\/S0377-2217(00)00292-7","volume":"134","author":"K Salimifard","year":"2001","unstructured":"Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: an overview. Eur. J. Oper. Res. 134(3), 664\u2013676 (2001)","journal-title":"Eur. J. Oper. Res."},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W Aalst","year":"2000","unstructured":"Aalst, W.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45594-9_11"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-030-76983-3_11","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"W Aalst","year":"2021","unstructured":"Aalst, W.: Reduction using induced subnets to systematically prove properties for free-choice nets. In: Buchs, D., Carmona, J. (eds.) PETRI NETS 2021. LNCS, vol. 12734, pp. 208\u2013229. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76983-3_11"},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.infsof.2006.11.004","volume":"50","author":"W van der Aalst","year":"2008","unstructured":"van der Aalst, W., Lassen, K.B.: Translating unstructured workflow processes to readable BPEL: theory and implementation. Inf. Softw. Technol. 50(3), 131\u2013159 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"12_CR26","first-page":"116","volume":"7","author":"KM van Hee","year":"2013","unstructured":"van Hee, K.M., Sidorova, N., van der Werf, J.: Business process modeling using petri nets. Trans. Petri Nets Other Model. Concurr. 7, 116\u2013161 (2013)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"issue":"11","key":"12_CR27","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3390\/a13110279","volume":"13","author":"SJ van Zelst","year":"2020","unstructured":"van Zelst, S.J., Leemans, S.: Translating workflow nets to process trees: an algorithmic approach. Algorithms 13(11), 279 (2020)","journal-title":"Algorithms"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"von Rosing, M., White, S., Cummins, F., de\u00a0Man, H.: Business process model and notation - BPMN. In: von Rosing, M., von Scheel, H., Scheer, A-W., (eds.), The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, vol. I, pp. 429\u2013453. Morgan Kaufmann\/Elsevier (2015)","DOI":"10.1016\/B978-0-12-799959-3.00021-5"}],"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-031-94634-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:42Z","timestamp":1749283182000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94634-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031946332","9783031946349"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94634-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 June 2025","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":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"46","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf-2025.petrinet.net","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}