# Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Version

arXiv: https://arxiv.org/abs/2303.16680 · HTML: https://mlsanity.com/paper/2303.16680/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 7 of its 30 references that are in the map.
- First posted on arXiv 29 Mar 2023.

## Builds on (most cited first, 7 of 7)

- [Discovering Object-Centric Petri Nets](https://mlsanity.com/paper/2010.02047/) (2020)
- [Discovering Relaxed Sound Workflow Nets using Integer Linear Programming](https://mlsanity.com/paper/1703.06733/) (2017)
- [Object-Centric Behavioral Constraints](https://mlsanity.com/paper/1703.05740/) (2017)
- [Translating Workflow Nets to Process Trees: An Algorithmic Approach](https://mlsanity.com/paper/2004.08213/) (2020)
- [Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation](https://mlsanity.com/paper/2110.09399/) (2021)
- [Guided Interaction Exploration in Artifact-centric Process Models](https://mlsanity.com/paper/1706.02109/) (2017)
- [Soundness in Object-centric Workflow Petri Nets](https://mlsanity.com/paper/2112.14994/) (2021)

## Built on by (most cited first, 1 of 1)

- [INEXA: Interactive and Explainable Process Model Abstraction Through Object-Centric Process Mining](https://mlsanity.com/paper/2403.18659/) (2024)

## Abstract (arXiv)

Object-centric process discovery (OCPD) constitutes a paradigm shift in process mining. Instead of assuming a single case notion present in the event log, OCPD can handle events without a single case notion, but that are instead related to a collection of objects each having a certain type. The object types constitute multiple, interacting case notions. The output of OCPD is an object-centric Petri net, i.e. a Petri net with object-typed places, that represents the parallel execution of multiple execution flows corresponding to object types. Similar to classical process discovery, where we aim for behaviorally sound process models as a result, in OCPD, we aim for soundness of the resulting object-centric Petri nets. However, the existing OCPD approach can result in violations of soundness. As we will show, one violation arises for multiple interacting object types with loops that arise in collaborative systems. This paper proposes an extended OCPD approach and proves that it does not suffer from this violation of soundness of the resulting object-centric Petri nets. We also show how we prevent the OCPD approach from introducing spurious interactions in the discovered object-centric Petri net. The proposed framework is prototypically implemented.