{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T18:14:06Z","timestamp":1790446446624,"version":"4.1.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031945731","type":"print"},{"value":"9783031945717","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-94571-7_11","type":"book-chapter","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T08:22:18Z","timestamp":1749889338000},"page":"185-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Object-Centric Processes with\u00a0Structured Data and\u00a0Exact Synchronization"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Gianola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sarah","family":"Winkler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,6,15]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Object-centric process mining: dealing with divergence and convergence in event data. In: Proceedings of the 17th SEFM (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_1","DOI":"10.1007\/978-3-030-30446-1_1"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Toward more realistic simulation models using object-centric process mining. In: Proceedings of the 37th ECMS, pp. 5\u201313 (2023). https:\/\/doi.org\/10.7148\/2023-0005","DOI":"10.7148\/2023-0005"},{"key":"11_CR3","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 Workshop Proceedings of ATAED\/PN4TT (2023)"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"van der Aalst, W., Berti, A.: Discovering object-centric Petri nets. Fundam. Informaticae 175(1\u20134), 1\u201340 (2020). https:\/\/doi.org\/10.3233\/FI-2020-1946","DOI":"10.3233\/FI-2020-1946"},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/J.DATAK.2004.07.003","volume":"53","author":"W van der Aalst","year":"2005","unstructured":"van der Aalst, W., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129\u2013162 (2005). https:\/\/doi.org\/10.1016\/J.DATAK.2004.07.003","journal-title":"Data Knowl. Eng."},{"key":"11_CR6","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.48550\/ARXIV.2311.08795","DOI":"10.48550\/ARXIV.2311.08795"},{"key":"11_CR7","doi-asserted-by":"publisher","unstructured":"Breitmayer, M., Arnold, L., Pejic, M., Reichert, M.: Transforming object-centric process models into BPMN 2.0 models in the PHILharmonicFlows framework. In: Proceedings of Modellierung 2024. LNI, vol. P-348, pp. 83\u201398 (2024). https:\/\/doi.org\/10.18420\/MODELLIERUNG2024_009","DOI":"10.18420\/MODELLIERUNG2024_009"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-030-26619-6_12","volume-title":"Business Process Management","author":"D Calvanese","year":"2019","unstructured":"Calvanese, D., Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Formal modeling and SMT-based parameterized verification of data-aware BPMN. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 157\u2013175. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_12"},{"issue":"3","key":"11_CR9","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32(3), 3\u20139 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Damaggio, E., Deutsch, A., Hull, R., Vianu, V.: Automatic verification of data-centric business processes. In: Proceedings of BPM 2011. LNCS, vol.\u00a06896, pp. 3\u201316 (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_3","DOI":"10.1007\/978-3-642-23059-2_3"},{"key":"11_CR11","doi-asserted-by":"publisher","unstructured":"Fahland, D.: Describing behavior of processes with many-to-many interactions. In: Proceedings of PETRI NETS (2019). https:\/\/doi.org\/10.1007\/978-3-030-21571-2_1","DOI":"10.1007\/978-3-030-21571-2_1"},{"key":"11_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). https:\/\/doi.org\/10.1016\/J.IS.2023.102230","journal-title":"Inf. Syst."},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: Multi-perspective conformance checking of uncertain process traces: an SMT-based approach. Eng. Appl. Artif. Intell. 126, 106895 (2023). https:\/\/doi.org\/10.1016\/J.ENGAPPAI.2023.106895","DOI":"10.1016\/J.ENGAPPAI.2023.106895"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2021-2064","volume":"182","author":"P Felli","year":"2021","unstructured":"Felli, P., de Leoni, M., Montali, M.: Soundness verification of data-aware process models with variable-to-variable conditions. Fundam. Informaticae 182(1), 1\u201329 (2021). https:\/\/doi.org\/10.3233\/FI-2021-2064","journal-title":"Fundam. Informaticae"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Delta-BPMN: A concrete language and verifier for data-aware BPMN. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds) Proceedings of BPM 2021. Lecture Notes in Computer Science, vol. 12875, pp. 179\u2013196. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85469-0_13","DOI":"10.1007\/978-3-030-85469-0_13"},{"key":"11_CR16","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). https:\/\/doi.org\/10.1016\/J.IS.2022.102011","journal-title":"Inf. Syst."},{"key":"11_CR17","doi-asserted-by":"publisher","unstructured":"Gianola, A.: Verification of Data-Aware Processes via Satisfiability Modulo Theories, Lecture Notes in Business Information Processing, vol.\u00a0470. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-42746-6","DOI":"10.1007\/978-3-031-42746-6"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Gianola, A., Montali, M., Winkler, S.: Object-centric conformance alignments with synchronization. In: Proceedings of the 36th CAiSE. LNCS, vol. 14663, pp. 3\u201319 (2024). https:\/\/doi.org\/10.1007\/978-3-031-61057-8_1","DOI":"10.1007\/978-3-031-61057-8_1"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Gianola, A., Montali, M., Winkler, S.: Object-centric processes with structured-data and universal synchronization (extended version). CoRR abs\/2505.15409 (2025). https:\/\/doi.org\/10.48550\/arXiv.2505.15409","DOI":"10.48550\/arXiv.2505.15409"},{"key":"11_CR20","doi-asserted-by":"publisher","unstructured":"Haarmann, S., Montali, M., Weske, M.: Refining case models using cardinality constraints. In: La\u00a0Rosa, M., Sadiq, S., Teniente, E. (eds.) Proceedings of the 33rd CAiSE. pp. 296\u2013310 (2021). https:\/\/doi.org\/10.1007\/978-3-030-79382-1_18","DOI":"10.1007\/978-3-030-79382-1_18"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Hewelt, M., Weske, M.: A hybrid approach for flexible case modeling and execution. In: Proceedings of the Business Process Management Forum. LNBIP, vol.\u00a0260, pp. 38\u201354 (2016). https:\/\/doi.org\/10.1007\/978-3-319-45468-9_3","DOI":"10.1007\/978-3-319-45468-9_3"},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"K\u00fcnzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for object-aware process management. J. Softw. Maintenance Res. Pract. 23(4), 205\u2013244 (2011). https:\/\/doi.org\/10.1002\/SMR.524","DOI":"10.1002\/SMR.524"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"de\u00a0Leoni, M., Felli, P., Montali, M.: A holistic approach for soundness verification of decision-aware process models. In: ER. LNCS, vol. 11157, pp. 219\u2013235 (2018). https:\/\/doi.org\/10.1007\/978-3-030-00847-5_17","DOI":"10.1007\/978-3-030-00847-5_17"},{"key":"11_CR24","doi-asserted-by":"publisher","unstructured":"Liss, L., Adams, J.N., van der Aalst, W.: Object-centric alignments. In: Proceedings of the ER (2023). https:\/\/doi.org\/10.1007\/978-3-031-47262-6_11","DOI":"10.1007\/978-3-031-47262-6_11"},{"key":"11_CR25","doi-asserted-by":"publisher","unstructured":"Lohmann, N., Wolf, K.: Artifact-centric choreographies. In: Service-Oriented Computing, pp. 32\u201346 (2010). https:\/\/doi.org\/10.1007\/978-3-642-17358-5_3","DOI":"10.1007\/978-3-642-17358-5_3"},{"issue":"4","key":"11_CR26","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/S00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407\u2013437 (2016). https:\/\/doi.org\/10.1007\/S00607-015-0441-1","journal-title":"Computing"},{"issue":"5","key":"11_CR27","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/S10009-016-0417-2","volume":"18","author":"M Montali","year":"2016","unstructured":"Montali, M., Calvanese, D.: Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. 18(5), 535\u2013558 (2016). https:\/\/doi.org\/10.1007\/S10009-016-0417-2","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-662-55862-1_5","volume":"12","author":"M Montali","year":"2017","unstructured":"Montali, M., Rivkin, A.: DB-Nets: on the marriage of colored petri nets and relational databases. Trans. Petri Nets Other Model. Concurr. 12, 91\u2013118 (2017). https:\/\/doi.org\/10.1007\/978-3-662-55862-1_5","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"key":"11_CR29","doi-asserted-by":"publisher","unstructured":"Polyvyanyy, A., van\u00a0der Werf, J.M.E.M., Overbeek, S., Brouwers, R.: Information systems modeling: language, verification, and tool support. In: Proceedings of the 31st CAiSE (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_13","DOI":"10.1007\/978-3-030-21290-2_13"},{"issue":"3","key":"11_CR30","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). https:\/\/doi.org\/10.3233\/FI-2010-368","journal-title":"Fundam. Informaticae"},{"issue":"6","key":"11_CR31","doi-asserted-by":"publisher","first-page":"1779","DOI":"10.1007\/S10270-023-01095-4","volume":"22","author":"M Snoeck","year":"2023","unstructured":"Snoeck, M., Verbruggen, C., Smedt, J.D., Weerdt, J.D.: Supporting data-aware processes with MERODE. Softw. Syst. Model. 22(6), 1779\u20131802 (2023). https:\/\/doi.org\/10.1007\/S10270-023-01095-4","journal-title":"Softw. Syst. Model."},{"key":"11_CR32","doi-asserted-by":"publisher","unstructured":"Sommers, D., Sidorova, N., van Dongen, B.: Aligning event logs to resource-constrained $$\\nu $$-petri nets. In: Proceedings of the 43rd\u00a0PETRI\u00a0NETS. LNCS, vol. 13288, pp. 325\u2013345 (2022). https:\/\/doi.org\/10.1007\/978-3-031-06653-5_17","DOI":"10.1007\/978-3-031-06653-5_17"},{"key":"11_CR33","doi-asserted-by":"publisher","unstructured":"Terry Heath\u00a0III, F.F., Boaz, D., Gupta, M., Vacul\u00edn, R., Sun, Y., Hull, R., Limonad, L.: Barcelona: a design and runtime environment for declarative artifact-centric BPM. In: Proceedings of the 11th ICSOC. LNCS, vol.\u00a08274, pp. 705\u2013709 (2013). https:\/\/doi.org\/10.1007\/978-3-642-45005-1_65","DOI":"10.1007\/978-3-642-45005-1_65"},{"key":"11_CR34","doi-asserted-by":"publisher","unstructured":"van\u00a0der Werf, J.M.E.M., Rivkin, A., Polyvyanyy, A., Montali, M.: Data and process resonance - identifier soundness for models of information systems. In: Proceedings of the PETRI NETS (2022). https:\/\/doi.org\/10.1007\/978-3-031-06653-5_19","DOI":"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-94571-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T08:22:21Z","timestamp":1749889341000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94571-7_11"}},"subtitle":["Formal Modelling and\u00a0Conformance Checking"],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031945731","9783031945717"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94571-7_11","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":"15 June 2025","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":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","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":"16 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.big.tuwien.ac.at\/caise2025\/index.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}