Causal nets: a modeling language tailored towards process discovery

DOI10.1007/978-3-642-23217-6_3MaRDI QIDQ3090820zbMATH OpenOpenAlexDBLPWikidataFDO

Authors W. M. P. van der Aalst, Arya Adriansyah, Boudewijn van Dongen

Publication date 2 September 2011

Published in CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23217-6_3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An SMT-based discovery algorithm for C-nets
• Discovering Petri nets from event logs
• Process discovery and Petri nets
• Process Discovery Using Integer Linear Programming
• From place nets to local process models

Cites work

• Causal nets: a modeling language tailored towards process discovery
• Process discovery using integer linear programming
• Process mining. Discovery, conformance and enhancement of business processes.
• Soundness of workflow nets: classification, decidability, and analysis
• Zero-safe nets: Comparing the collective and individual token approaches.

Cited in

(7)

• Aggregating causal runs into workflow nets
• Discovering object-centric Petri nets
• Computing alignments with maximum synchronous moves via replay in coordinate planes
• Causal nets: a modeling language tailored towards process discovery
• Process discovery via precedence constraints
• Enhancing discovered processes with duplicate tasks
• An SMT-based discovery algorithm for C-nets

This page was built for publication: Causal nets: a modeling language tailored towards process discovery

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090820)