4 citations · 10 across the 9 of their papers we have counts for
4 papers · 1 filter
Soundness Correction of Data Petri Nets
Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin
A process model is called sound if it always terminates properly and each model activity can occur in a process instance. Conducting soundness verification right after process desi…
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…
Resource Bisimilarity in Petri Nets is Decidable
Irina Lomazova, Vladimir Bashkin, Petr Jančar
Petri nets are a popular formalism for modeling and analyzing distributed systems. Tokens in Petri net models can represent the control flow state or resources produced/consumed by…
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
Luca Bernardinello, Irina Lomazova, Roman Nesterov +1
In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is…