Discovering Object-centric Petri Nets

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

zbMATH Keywords

Petri nets; process mining; process discovery; multiple viewpoint models

Mathematics Subject Classification ID

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, 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

• rbminer
• VipTool
• HybridILPMiner

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