mlsanityData to 14 Oct 2026

Soundness in Object-centric Workflow Petri Nets

arXiv 2112.14994 ↗First posted 30 Dec 2021cs.LO cs.AI cs.FLcited by 1

Not on the map. Why?

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.

Key facts. Cited by 1 paper 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

4 of 24 references.

References · 4

  1. 2020Discovering Object-Centric Petri Netscited by 28
  2. 2020Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)cited by 6
  3. 2018A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)cited by 5
  4. 2020Technical Report: Refining Case Models Using Cardinality Constraintscited by 1

Built on by

Cited by year

Citing papers per year: 2023: 1.

1 paper.

  1. 2023Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Versioncited by 1