Paper ID: 2112.14994

Soundness in Object-centric Workflow Petri Nets

Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin

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.

Submitted: Dec 30, 2021