# Soundness in Object-centric Workflow Petri Nets

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 4 of its 24 references that are in the map.
- First posted on arXiv 30 Dec 2021.

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

- [Discovering Object-Centric Petri Nets](https://mlsanity.com/paper/2010.02047/) (2020)
- [Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)](https://mlsanity.com/paper/2006.06630/) (2020)
- [A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)](https://mlsanity.com/paper/1804.02316/) (2018)
- [Technical Report: Refining Case Models Using Cardinality Constraints](https://mlsanity.com/paper/2012.02245/) (2020)

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

- [Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Version](https://mlsanity.com/paper/2303.16680/) (2023)

## Abstract (arXiv)

Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of soundness for it. We demonstrate that for nets with non-deterministic synchronization between case objects, the soundness problem is decidable.