Incremental process discovery using Petri net synthesis

DOI10.3233/FI-2017-1548MaRDI QIDQ4601117zbMATH OpenFDO

Authors Uli Schlachter, Eric Badouel

Publication date 19 January 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2017-1548

zbMATH Keywords

Petri-net synthesisprocess discoveryregion theory

Mathematics Subject Classification ID

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

Recommendations

• Incremental process discovery
• Discovering Petri nets from event logs
• Process Discovery Using Integer Linear Programming
• Process discovery and Petri nets
• Process discovery using integer linear programming

Cited in

(11)

• Distributed synthesis of asynchronously communicating distributed process models
• Discovering Petri nets including silent transitions. A repairing approach based on structural patterns
• Incremental process discovery
• An SMT-based discovery algorithm for C-nets
• Process Discovery Using Integer Linear Programming
• Construction of Process Models from Example Runs
• Process discovery using integer linear programming
• Process discovery and Petri nets
• Discovering Petri nets from event logs
• Discovering object-centric Petri nets
• Process net reconstruction from the sequence of Petri net transition triggerings

Describes a project that uses

Uses Software

• APT

This page was built for publication: Incremental process discovery using Petri net synthesis

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