{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,8]],"date-time":"2025-06-08T04:01:44Z","timestamp":1749355304161,"version":"3.41.0"},"publisher-location":"Cham","reference-count":42,"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_4","type":"book-chapter","created":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:38Z","timestamp":1749283178000},"page":"63-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synthesizing Petri Nets from\u00a0Labelled Petri Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0464-8843","authenticated-orcid":false,"given":"Robin","family":"Bergenthum","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7775-3698","authenticated-orcid":false,"given":"Jakub","family":"Kov\u00e1\u0159","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Van\u00a0der Aalst, W.M.P., Van\u00a0Dongen, B.F.: Discovering Petri nets from event logs. In: Transactions on Petri Nets and Other Models of Concurrency VII, pp. 372\u2013422. Springer (2013)","DOI":"10.1007\/978-3-642-38143-0_10"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47967-4","DOI":"10.1007\/978-3-662-47967-4"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-65000-5_2","volume-title":"Business Process Management","author":"R Bergenthum","year":"2017","unstructured":"Bergenthum, R.: Synthesizing petri nets from hasse diagrams. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNCS, vol. 10445, pp. 22\u201339. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65000-5_2"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Bergenthum, R.: Prime miner - process discovery using prime event structures. In: Proceedings of ICPM 2019, pp. 41\u201348 (2019)","DOI":"10.1109\/ICPM.2019.00017"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Bergenthum, R.: Firing partial orders in a petri net. In: Proceedings of PETRI NETS 2021, pp. 399\u2013419. Springer (2021)","DOI":"10.1007\/978-3-030-76983-3_20"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-540-68746-7_25","volume-title":"Applications and Theory of Petri Nets","author":"R Bergenthum","year":"2008","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of petri nets from scenarios with VipTool. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 388\u2013398. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68746-7_25"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-04856-2_9","volume-title":"Transactions on Petri Nets and Other Models of Concurrency III","author":"R Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S.: Comparison of different algorithms to synthesize a petri net from a partial language. In: Jensen, K., Billington, J., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency III. LNCS, vol. 5800, pp. 216\u2013243. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04856-2_9"},{"issue":"4","key":"4_CR8","first-page":"437","volume":"88","author":"R Bergenthum","year":"2008","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of petri nets from finite partial languages. Fund. Inform. 88(4), 437\u2013468 (2008)","journal-title":"Fund. Inform."},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.3233\/FI-2009-147","volume":"95","author":"R Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of petri nets from term based representations of infinite partial languages. Fund. Inform. 95(1), 187\u2013217 (2009). https:\/\/doi.org\/10.3233\/FI-2009-147","journal-title":"Fund. Inform."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Folz-Weinstein, S., Kov\u00e1\u0159, J.: Token trail semantics - modeling behavior of petri nets with labeled petri nets. In: Proceedings of PETRI NETS 2023, pp. 286\u2013306. Springer (2023)","DOI":"10.1007\/978-3-031-33620-1_16"},{"key":"4_CR11","unstructured":"Bergenthum, R., Kov\u00e1\u0159, J.: A first glimpse at petri net regions. In: Proceedings of ATAED 2022, pp. 60\u201368. CEUR Workshop Proceedings 3167 (2022)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Lorenz, R.: Verification of scenarios in petri nets using compact tokenflows. Fundam. Inform. 117\u2013142 (2015)","DOI":"10.3233\/FI-2015-1172"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Best, E., Schlachter, U.: Analysis of petri nets and transition systems. In: Proceedings 8th Interaction and Concurrency Experience (ICE) (2015). https:\/\/doi.org\/10.4204\/EPTCS.189.6. https:\/\/github.com\/CvO-Theory\/apt","DOI":"10.4204\/EPTCS.189.6"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: a tool for the synthesis and mining of petri nets. In: 2009 Ninth International Conference on Application of Concurrency to System Design, pp. 181\u2013185 (2009). https:\/\/doi.org\/10.1109\/ACSD.2009.6","DOI":"10.1109\/ACSD.2009.6"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Darondeau, P.: Deriving unbounded petri nets from formal languages. In: Sangiorgi, D., de\u00a0Simone, R. (eds.) CONCUR\u201998 Concurrency Theory, pp. 533\u2013548. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055646","DOI":"10.1007\/BFb0055646"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Desel, J., Juh\u00e1s, G.: \u201cWhat is a petri net?\u201d. In: Unifying Petri Nets, pp. 1\u201325 (2001)","DOI":"10.1007\/3-540-45541-8_1"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"BF van Dongen","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A., Verbeek, H., Weijters, A., van der Aalst, W.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444\u2013454. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494744_25"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. Part I: basic notions and the representation problem. Acta Informatica 315\u2013342 (1990). https:\/\/doi.org\/10.1007\/BF00264611","DOI":"10.1007\/BF00264611"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. Part II: state spaces of concurrent systems. Acta Informatica 343\u2013368 (1990). https:\/\/doi.org\/10.1007\/BF00264612","DOI":"10.1007\/BF00264612"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-02424-5_14","volume-title":"Applications and Theory of Petri Nets","author":"D Fahland","year":"2009","unstructured":"Fahland, D.: Oclets \u2013 scenario-based modeling with petri nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 223\u2013242. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_14"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Goltz, U., Reisig, W.: The non-sequential behaviour of petri nets. Inf. Control 125\u2013147 (1983)","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Grabowski, J.: On partial languages. Fundam. Inform. 427\u2013498 (1981)","DOI":"10.3233\/FI-1981-4210"},{"key":"4_CR23","unstructured":"Heinrichmeyer, K.: Process Discovery durch kontinuierliche Kombination minimaler Regionen. Master\u2019s thesis, FernUniversit\u00e4t in Hagen (2020)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Juh\u00e1s, G., Lorenz, R., Desel, J.: Can i execute my scenario in your net? In: Proceedings of PETRI NETS, pp. 289\u2013308. Springer (2005)","DOI":"10.1007\/11494744_17"},{"key":"4_CR25","unstructured":"Kiehn, A.: On the interrelation between synchronized and non-synchronized behaviour of petri nets. J. Inf. Process. Cybern. 3\u201318 (1988)"},{"issue":"1\u20132","key":"4_CR26","doi-asserted-by":"publisher","first-page":"45","DOI":"10.3233\/FI-2010-274","volume":"101","author":"M Koutny","year":"2010","unstructured":"Koutny, M., Pietkiewicz-Koutny, M.: Minimal regions of ENL-transition systems. Fund. Inform. 101(1\u20132), 45\u201358 (2010). https:\/\/doi.org\/10.3233\/FI-2010-274","journal-title":"Fund. Inform."},{"key":"4_CR27","unstructured":"Koutny, M., Pietkiewicz-Koutny, M.: Synthesising ENI-systems with interval order semantics. In: Proceedings of PNSE 2024. CEUR Workshop Proceedings, vol.\u00a03730, pp. 33\u201352 (2024)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Kov\u00e1\u0159, J., Bergenthum, R.: Token trail semantics II - petri nets and their net language. In: Kristensen, L.M., van\u00a0der Werf, J.M. (eds.) Application and Theory of Petri Nets and Concurrency, pp. 175\u2013196. Springer (2024)","DOI":"10.1007\/978-3-031-61433-0_9"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-73094-1_21","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"R Lorenz","year":"2007","unstructured":"Lorenz, R., Mauser, S., Bergenthum, R.: Theory of regions for the synthesis of inhibitor nets from scenarios. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 342\u2013361. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73094-1_21"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Lorenz, R., Mauser, S., Juhas, G.: How to synthesize nets from languages - a survey. In: 2007 Winter Simulation Conference, pp. 637\u2013647 (2007). https:\/\/doi.org\/10.1109\/WSC.2007.4419657","DOI":"10.1109\/WSC.2007.4419657"},{"key":"4_CR31","unstructured":"Makhorin, A.: GLPK (GNU Linear Programming Kit) (2000\u20132012). https:\/\/www.gnu.org\/software\/glpk\/"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Mayr, H.C., Kop, C., Esberger, D.: Business process modeling and requirements modeling. In: First International Conference on the Digital Society (ICDS 2007), p. 8 (2007). https:\/\/doi.org\/10.1109\/ICDS.2007.9","DOI":"10.1109\/ICDS.2007.9"},{"issue":"04","key":"4_CR33","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"03","author":"M Mukund","year":"1992","unstructured":"Mukund, M.: Petri nets and step transition systems. Int. J. Found. Comput. Sci. 03(04), 443\u2013478 (1992). https:\/\/doi.org\/10.1142\/S0129054192000231","journal-title":"Int. J. Found. Comput. Sci."},{"key":"4_CR34","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR (1981)"},{"issue":"2","key":"4_CR35","first-page":"175","volume":"50","author":"M Pietkiewicz-Koutny","year":"2002","unstructured":"Pietkiewicz-Koutny, M.: Synthesising elementary net systems with inhibitor arcs from step transition systems. Fund. Inform. 50(2), 175\u2013203 (2002)","journal-title":"Fund. Inform."},{"key":"4_CR36","unstructured":"Pietkiewicz-Koutny, M., Koutny, M.: Synthesising elementary net systems with interval order semantics. In: Proceedings of ATAED & PN4TT 2023. CEUR Workshop Proceedings, vol.\u00a03424 (2023)"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Pinna, G.M., Fabre, E.: Spreading nets: a uniform approach to unfoldings. J. Log. Algebraic Methods Program. 1\u201333 (2020)","DOI":"10.1016\/j.jlamp.2020.100526"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer (2013)","DOI":"10.1007\/978-3-642-33278-4"},{"key":"4_CR39","unstructured":"Vaillant, J., Rasulkhani, S., Regue, R., Jones, A.: glpk.js (2014\u20132023). https:\/\/www.npmjs.com\/package\/glpk.js"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. Springer (1992)","DOI":"10.1007\/3-540-55767-9"},{"key":"4_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-540-68746-7_24","volume-title":"Applications and Theory of Petri Nets","author":"J van der Werf","year":"2008","unstructured":"van der Werf, J., van Dongen, B.F., Hurkens, C., Serebrenik, A.: Process discovery using integer linear programming. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 368\u2013387. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68746-7_24"},{"key":"4_CR42","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency, pp. 325\u2013392. Springer, Heidelberg (1986)","DOI":"10.1007\/3-540-17906-2_31"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:45Z","timestamp":1749283185000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94634-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031946332","9783031946349"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94634-9_4","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"}}]}}