Skip to main content

Object-Centric Conformance Alignments with Synchronization

  • Conference paper
  • First Online:
Advanced Information Systems Engineering (CAiSE 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14663))

Included in the following conference series:

  • 363 Accesses


Real-world processes operate on objects that are inter-dependent. To accurately reflect the nature of such processes, object-centric process mining techniques are needed, notably conformance checking. However, while the object-centric perspective has recently gained traction, few concrete process mining techniques have been presented so far. Moreover, existing approaches are severely limited in their abilities to keep track of object identity and object dependencies. Consequently, serious problems in event logs with object information remain undetected. This paper, presents a new formalism that combines the key modelling features of two existing approaches, notably the ability of object-centric Petri nets to capture one-to-many relations and the ability of Petri nets with identifiers to compare and synchronize objects based on their identity. We call the resulting formalism object-centric Petri nets with identifiers, and define alignments and the conformance checking task for this setting. We propose a conformance checking approach for such nets based on an encoding in satisfiability modulo theories (SMT), and illustrate how it serves to effectively overcome shortcomings of earlier work. To assess its practicality, we evaluate it on data from the literature.

Gianola was partially supported by national funds through FCT, Fundação para a Ciência e a Tecnologia, under projects UIDB/50021/2020 (DOI:10.54499/UIDB/50021/2020). Montali and Winkler acknowledge the UNIBZ project ADAPTERS and the PRIN MIUR project PINPOINT Prot. 2020FNEB27.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


  1. 1.

    Many-to-many relations are typically reified into corresponding one-to-many relations, which is essential to properly handle synchronization constraints [4, 11, 13].

  2. 2.



  1. van der Aalst, W.M.P.: Object-centric process mining: dealing with divergence and convergence in event data. In: Ölveczky, P., Salaün, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 3–25. Springer, Cham (2019).

    Chapter  Google Scholar 

  2. van der 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)

    Google Scholar 

  3. van der Aalst, W.M.P., Berti, A.: Discovering object-centric Petri nets. Fundam. Informaticae 175(1–4), 1–40 (2020)

    Article  MathSciNet  Google Scholar 

  4. 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öglinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 139–156. Springer, Cham (2019).

    Chapter  Google Scholar 

  5. Berti, A., Montali, M., van der Aalst, W.M.P.: Advancements and challenges in object-centric process mining: a systematic literature review. CoRR abs/2311.08795 (2023)

    Google Scholar 

  6. Berti, A., Park, G., Rafiei, M., van der Aalst, W.M.P.: An event data extraction approach from SAP ERP for process mining. In: Proceedings of the ICPM Workshops (2021)

    Google Scholar 

  7. Boltenhagen, M., Chatain, T., Carmona, J.: Optimized SAT encoding of conformance checking artefacts. Computing 103(1), 29–50 (2021)

    Article  MathSciNet  Google Scholar 

  8. 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–209. Springer, Cham (2023).

    Chapter  Google Scholar 

  9. van Dongen, B.: BPI challenge 2017 data set (2017)

    Google Scholar 

  10. Dutertre, B.: Yices 2.2. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 737–744. Springer, Cham (2014).

    Chapter  Google Scholar 

  11. 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–24. Springer, Cham (2019).

    Chapter  Google Scholar 

  12. Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: Data-aware conformance checking with SMT. Inf. Syst. 117, 102230 (2023)

    Article  Google Scholar 

  13. Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Petri net-based object-centric processes with read-only data. Inf. Syst. 107, 102011 (2022)

    Article  Google Scholar 

  14. Gianola, A., Montali, M., Winkler, S.: Object-centric conformance alignments with synchronization (extended version). CoRR abs/2312.08537 (2023)

    Google Scholar 

  15. 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–219. Springer, Cham (2023).

    Chapter  Google Scholar 

  16. 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–212. Springer, Cham (2019).

    Chapter  Google Scholar 

  17. Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability problems in Petri nets with names and replication. Fundam. Informaticae 105(3), 291–317 (2010)

    Article  MathSciNet  Google Scholar 

  18. 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–146. Springer, Cham (2021).

    Chapter  Google Scholar 

  19. 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–345. Springer, Cham (2022).

    Chapter  Google Scholar 

  20. 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–119. Springer, Cham (2023).

    Chapter  Google Scholar 

  21. 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–392. Springer, Cham (2022).

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Marco Montali .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Gianola, A., Montali, M., Winkler, S. (2024). Object-Centric Conformance Alignments with Synchronization. In: Guizzardi, G., Santoro, F., Mouratidis, H., Soffer, P. (eds) Advanced Information Systems Engineering. CAiSE 2024. Lecture Notes in Computer Science, vol 14663. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-61056-1

  • Online ISBN: 978-3-031-61057-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics