Discovering Object-centric Petri Nets
From MaRDI portal
Publication:4988950
DOI10.3233/FI-2020-1946zbMath1497.68354arXiv2010.02047OpenAlexW3091024008MaRDI 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
Related Items (6)
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 ⋮ Improving the non‐compensatory trace‐clustering decision process ⋮ Correctness Notions for Petri Nets with Identifiers ⋮ Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations ⋮ Inferring Unobserved Events in Systems with Shared Resources and Queues
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
This page was built for publication: Discovering Object-centric Petri Nets