Discovering Object-centric Petri Nets
From MaRDI portal
Publication:4988950
DOI10.3233/FI-2020-1946zbMath1497.68354arXiv2010.02047MaRDI QIDQ4988950
Alessandro Berti, Wil M. P. van der Aalst
Publication date: 20 May 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2010.02047
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Inferring Unobserved Events in Systems with Shared Resources and Queues, Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations, Improving the non‐compensatory trace‐clustering decision process, Correctness Notions for Petri Nets with Identifiers, Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins, Data and process resonance. Identifier soundness for models of information systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Soundness of workflow nets: classification, decidability, and analysis
- Regions of Petri nets with a/sync connections
- Applying regions
- Petri net synthesis
- Discovering workflow nets using integer linear programming
- The synthesis problem of Petri nets
- Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages
- On the Synthesis of Zero-Safe Nets
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
- Process Mining from a Basis of State Regions
- Coloured Petri Nets
- Towards Synthesis of Petri Nets from Scenarios
- Deriving Petri nets from finite transition systems
- Aggregating Causal Runs into Workflow Nets
- Models from Scenarios
- New Region-Based Algorithms for Deriving Bounded Petri Nets
- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach