2021/12/30 by Irina A. Lomazova, Lomazova, Irina A., Alexey A. Mitsyuk +3
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
paper · pdf · doi:10.48550/arxiv.2112.14994
openalex publication_date 2021/12/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.