Soundness in Object-centric Workflow Petri Nets
Logic in Computer Science
2022-01-03 v1 Artificial Intelligence
Formal Languages and Automata Theory
Abstract
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.
Keywords
Cite
@article{arxiv.2112.14994,
title = {Soundness in Object-centric Workflow Petri Nets},
author = {Irina A. Lomazova and Alexey A. Mitsyuk and Andrey Rivkin},
journal= {arXiv preprint arXiv:2112.14994},
year = {2022}
}
Comments
This is an ongoing work that introduces basic notions and theoretical results needed for establishing the theoretical framework for checking soundness of object-centric Petri nets