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

page 1

page 2

page 3

page 4

research
10/05/2020

Discovering Object-Centric Petri Nets

Techniques to discover Petri nets from event data assume precisely one c...
research
01/15/2020

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

In this paper, we propose a compositional approach to construct formal m...
research
01/23/2019

AlteregoNets: a way to human augmentation

A person dependent network, called an AlterEgo net, is proposed for deve...
research
03/29/2019

From DB-nets to Coloured Petri Nets with Priorities (Extended Version)

The recently introduced formalism of DB-nets has brought in a new concep...
research
12/03/2020

Technical Report: Refining Case Models Using Cardinality Constraints

Traditionally, business process management focuses on structured, impera...
research
06/18/2012

Comparison-Based Learning with Rank Nets

We consider the problem of search through comparisons, where a user is p...

Please sign up or login with your details

Forgot password? Click here to reset