Soundness in Object-centric Workflow Petri Nets

12/30/2021
by   Irina A. Lomazova, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset