{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:08:28Z","timestamp":1774915708639,"version":"3.50.1"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031610561","type":"print"},{"value":"9783031610578","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-61057-8_1","type":"book-chapter","created":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T20:17:29Z","timestamp":1717359449000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Object-Centric Conformance Alignments with\u00a0Synchronization"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Gianola","sequence":"first","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Sarah","family":"Winkler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,3]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-30446-1_1","volume-title":"Software Engineering and Formal Methods","author":"WMP van der Aalst","year":"2019","unstructured":"van der Aalst, W.M.P.: Object-centric process mining: dealing with divergence and convergence in event data. In: \u00d6lveczky, P., Sala\u00fcn, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 3\u201325. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_1"},{"key":"1_CR2","unstructured":"van\u00a0der Aalst, W.M.P.: Twin transitions powered by event data - using object-centric process mining to make processes digital and sustainable. In: Joint Proceedings of the ATAED\/PN4TT (2023)"},{"issue":"1\u20134","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2020-1946","volume":"175","author":"WMP van der Aalst","year":"2020","unstructured":"van der Aalst, W.M.P., Berti, A.: Discovering object-centric Petri nets. Fundam. Informaticae 175(1\u20134), 1\u201340 (2020)","journal-title":"Fundam. Informaticae"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-030-26619-6_11","volume-title":"Business Process Management","author":"A Artale","year":"2019","unstructured":"Artale, A., Kovtunova, A., Montali, M., van der Aalst, W.M.P.: Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints. In: Hildebrandt, T., van Dongen, B., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 139\u2013156. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_11"},{"key":"1_CR5","unstructured":"Berti, A., Montali, M., van\u00a0der Aalst, W.M.P.: Advancements and challenges in object-centric process mining: a systematic literature review. CoRR abs\/2311.08795 (2023)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Berti, A., Park, G., Rafiei, M., van\u00a0der Aalst, W.M.P.: An event data extraction approach from SAP ERP for process mining. In: Proceedings of the ICPM Workshops (2021)","DOI":"10.1007\/978-3-030-98581-3_19"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s00607-020-00831-8","volume":"103","author":"M Boltenhagen","year":"2021","unstructured":"Boltenhagen, M., Chatain, T., Carmona, J.: Optimized SAT encoding of conformance checking artefacts. Computing 103(1), 29\u201350 (2021)","journal-title":"Computing"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-031-34560-9_12","volume-title":"Advanced Information Systems Engineering","author":"D Calvanese","year":"2023","unstructured":"Calvanese, D., Jans, M., Kalayci, T.E., Montali, M.: Extracting event data from document-driven enterprise systems. In: Indulska, M., Reinhartz-Berger, I., Cetina, C., Pastor, O. (eds.) CAiSE 2023. LNCS, vol. 13901, pp. 193\u2013209. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-34560-9_12"},{"key":"1_CR9","unstructured":"van Dongen, B.: BPI challenge 2017 data set (2017)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/978-3-319-08867-9_49","volume-title":"Computer Aided Verification","author":"B Dutertre","year":"2014","unstructured":"Dutertre, B.: Yices\u00a02.2. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 737\u2013744. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_49"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-21571-2_1","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"D Fahland","year":"2019","unstructured":"Fahland, D.: Describing behavior of processes with many-to-many interactions. In: Donatelli, S., Haar, S. (eds.) PETRI NETS 2019. LNCS, vol. 11522, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21571-2_1"},{"key":"1_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2023.102230","volume":"117","author":"P Felli","year":"2023","unstructured":"Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: Data-aware conformance checking with SMT. Inf. Syst. 117, 102230 (2023)","journal-title":"Inf. Syst."},{"key":"1_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2022.102011","volume":"107","author":"S Ghilardi","year":"2022","unstructured":"Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Petri net-based object-centric processes with read-only data. Inf. Syst. 107, 102011 (2022)","journal-title":"Inf. Syst."},{"key":"1_CR14","unstructured":"Gianola, A., Montali, M., Winkler, S.: Object-centric conformance alignments with synchronization (extended version). CoRR abs\/2312.08537 (2023)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-031-47262-6_11","volume-title":"Conceptual Modeling","author":"L Liss","year":"2023","unstructured":"Liss, L., Adams, J.N., van der Aalst, W.M.P.: Object-centric alignments. In: Almeida, J.P.A., Borbinha, J., Guizzardi, G., Link, S., Zdravkovic, J. (eds.) ER 2023. LNCS, vol. 14320, pp. 201\u2013219. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47262-6_11"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-030-21290-2_13","volume-title":"Advanced Information Systems Engineering","author":"A Polyvyanyy","year":"2019","unstructured":"Polyvyanyy, A., van der Werf, J.M.E.M., Overbeek, S., Brouwers, R.: Information systems modeling: language, verification, and tool support. In: Giorgini, P., Weber, B. (eds.) CAiSE 2019. LNCS, vol. 11483, pp. 194\u2013212. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_13"},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.3233\/FI-2010-368","volume":"105","author":"F Rosa-Velardo","year":"2010","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability problems in Petri nets with names and replication. Fundam. Informaticae 105(3), 291\u2013317 (2010)","journal-title":"Fundam. Informaticae"},{"key":"1_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-030-79186-5_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"M Snoeck","year":"2021","unstructured":"Snoeck, M., De Smedt, J., De Weerdt, J.: Supporting data-aware processes with MERODE. In: Augusto, A., Gill, A., Nurcan, S., Reinhartz-Berger, I., Schmidt, R., Zdravkovic, J. (eds.) BPMDS\/EMMSAD -2021. LNBIP, vol. 421, pp. 131\u2013146. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79186-5_9"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-031-06653-5_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"D Sommers","year":"2022","unstructured":"Sommers, D., Sidorova, N., van Dongen, B.: Aligning event logs to resource-constrained $$\\nu $$-Petri nets. In: Bernardinello, L., Petrucci, L. (eds.) PETRI NETS 2022. LNCS, vol. 13288, pp. 325\u2013345. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06653-5_17"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-031-33620-1_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"D Sommers","year":"2023","unstructured":"Sommers, D., Sidorova, N., van Dongen, B.: Exact and approximated log alignments for processes with inter-case dependencies. In: Gomes, L., Lorenz, R. (eds.) PETRI NETS 2023. LNCS, vol. 13929, pp. 99\u2013119. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33620-1_6"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-031-06653-5_19","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"JMEM van der Werf","year":"2022","unstructured":"van der Werf, J.M.E.M., Rivkin, A., Polyvyanyy, A., Montali, M.: Data and process resonance. In: Bernardinello, L., Petrucci, L. (eds.) PETRI NETS 2022. LNCS, vol. 13288, pp. 369\u2013392. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06653-5_19"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61057-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T20:17:47Z","timestamp":1717359467000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61057-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031610561","9783031610578"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61057-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"3 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","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":"3 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"36","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cyprusconferences.org\/caise2024\/#","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}