{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:11:59Z","timestamp":1757617919464,"version":"3.44.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031873447"},{"type":"electronic","value":"9783031873454"}],"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-87345-4_13","type":"book-chapter","created":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T00:33:55Z","timestamp":1745800435000},"page":"186-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Improvements to\u00a0the\u00a0Region-Based Petri Nets Synthesis Algorithm for\u00a0Process Mining"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3123-5211","authenticated-orcid":false,"given":"Shengrui","family":"Peng","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8540-0294","authenticated-orcid":false,"given":"Helena","family":"Szczerbicka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,29]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Augusto, A., Carmona, J., Verbeek, E.: Advanced process discovery techniques. In: Process Mining Handbook, pp. 76\u2013107. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-08848-3_3"},{"key":"13_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47967-4","volume-title":"Petri Net Synthesis","author":"E Badouel","year":"2015","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Springer, Berlin (2015)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Business Process Management, pp. 375\u2013383. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75183-0_27"},{"key":"13_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpa.2023.100556","volume":"17","author":"A Berti","year":"2023","unstructured":"Berti, A., Van Zelst, S., Schuster, D.: PM4Py: a process mining library for Python. Softw. Impacts 17, 100556 (2023)","journal-title":"Softw. Impacts"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: A symbolic algorithm for the synthesis of bounded petri nets. In: Applications and Theory of Petri Nets, pp. 92\u2013111. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68746-7_10"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: A region-based algorithm for discovering petri nets from event logs. In: Business Process Management, pp. 358\u2013373. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-85758-7_26"},{"key":"13_CR7","doi-asserted-by":"crossref","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. IEEE, Augsburg (2009)","DOI":"10.1109\/ACSD.2009.6"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TC.2009.131","volume":"59","author":"J Carmona","year":"2010","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded petri nets. IEEE Trans. Comput. 59(3), 371\u2013384 (2010)","journal-title":"IEEE Trans. Comput."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Carmona, J., van Dongen, B., Weidlich, M.: Conformance checking: foundations, milestones and challenges. In: Process Mining Handbook, pp. 155\u2013190. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-08848-3_5"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Synthesizing Petri nets from state-based models. In: Proceedings of IEEE International Conference on Computer Aided Design, pp. 164\u2013171. IEEE Computer Society Press, San Jose (1995)","DOI":"10.1109\/ICCAD.1995.480008"},{"key":"13_CR11","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A., England, N.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. E80-D(3), 315\u2013325 (1997)"},{"issue":"8","key":"13_CR12","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J Cortadella","year":"1998","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving petri nets from finite transition systems. IEEE Trans. Comput. 47(8), 859\u2013882 (1998)","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"13_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatica 33(4), 297\u2013315 (1996)","journal-title":"Acta Informatica"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures: part II: state spaces of concurrent systems. Acta Informatica 27(4), 343\u2013368 (1990)","journal-title":"Acta Informatica"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Faria Junior, E., Neubauer, T., Fantinato, M., Peres, S.: Clustering analysis and frequent pattern mining for process profile analysis: an exploratory study for object-centric event logs. In: Process Mining Workshops, pp. 269\u2013281. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-27815-0_20"},{"issue":"4","key":"13_CR16","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":"13_CR17","unstructured":"Petri, C.A.: Kommunikation mit Automaten (1962)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Sol\u00e9, M., Carmona, J.: Process mining from a basis of state regions. In: Applications and Theory of Petri Nets, pp. 226\u2013245. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13675-7_14"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Sol\u00e9, M., Carmona, J.: Incremental process discovery. In: Transactions on Petri Nets and Other Models of Concurrency V, pp. 221\u2013242. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-29072-5_10"},{"issue":"1","key":"13_CR20","doi-asserted-by":"publisher","first-page":"133","DOI":"10.34768\/amcs-2023-0011","volume":"33","author":"V Teren","year":"2023","unstructured":"Teren, V., Cortadella, J., Villa, T.: Generation of synchronizing state machines from a transition system: a region-based approach. Int. J. Appl. Math. Comput. Sci. 33(1), 133\u2013149 (2023)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Teren, V., Cortadella, J., Villa, T.: Seto: a framework for the decomposition of petri nets and transition systems. In: Proceedings of 26th Euromicro Conference On Digital System Design (DSD), pp. 669\u2013677. IEEE, Golem (2023)","DOI":"10.1109\/DSD60849.2023.00096"},{"issue":"9","key":"13_CR22","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W van der Aalst","year":"2004","unstructured":"van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10270-008-0106-z","volume":"9","author":"W van der Aalst","year":"2010","unstructured":"van der Aalst, W., Rubin, V., Verbeek, H., van Dongen, B., Kindler, E., G\u00fcnther, C.: Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9(1), 87\u2013111 (2010)","journal-title":"Softw. Syst. Model."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"issue":"1\u20134","key":"13_CR25","first-page":"1","volume":"175","author":"W van der Aalst","year":"2020","unstructured":"van der Aalst, W., Berti, A.: Discovering object-centric petri nets. Fund. Inform. 175(1\u20134), 1\u201340 (2020)","journal-title":"Fund. Inform."},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"van Dongen, B., De Medeiros, A., Verbeek, H., Weijters, A., van der Aalst, W.: The ProM framework: a new era in process mining tool support. In: Applications and Theory of Petri Nets 2005, pp. 444\u2013454. Springer, Heidelberg (2005)","DOI":"10.1007\/11494744_25"},{"key":"13_CR27","unstructured":"van Dongen, B.F., Busi, N., Pinna, G.M., van der Aalst, W.M.P.: An iterative algorithm for applying the theory of regions in process mining. BETA publicatie: working papers. Research School for Operations Management, Eindhoven (2007)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Simulation Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87345-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T14:07:25Z","timestamp":1757167645000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87345-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031873447","9783031873454"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87345-4_13","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"29 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMUtools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Simulation Tools and Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"simutools2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/simutools.eai-conferences.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}