Automated repair of process models using non-local constraints

DOI10.1007/978-3-030-51831-8_14MaRDI QIDQ5100758zbMATH OpenOpenAlexFDO

Authors A. A. Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa

Publication date 1 September 2022

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51831-8_14

Mathematics Subject Classification ID

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

Recommendations

• Automated repair of process models with non-local constraints using state-based region theory
• Process model discovery: a method based on transition system decomposition
• Discovering block-structured process models from event logs -- a constructive approach
• Robust process discovery with artificial negative events
• Discovering Petri nets including silent transitions. A repairing approach based on structural patterns

Cites work

• A geometric characterisation of event/state separation
• A graph-theoretical characterisation of state separation
• Deriving Petri nets from finite transition systems
• Discovering Block-Structured Process Models from Incomplete Event Logs
• Discovering workflow nets using integer linear programming
• Free Choice Petri Nets
• scientific article; zbMATH DE number 2088769 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• New Region-Based Algorithms for Deriving Bounded Petri Nets
• Petri net synthesis
• Process Discovery Using Integer Linear Programming
• Process mining from a basis of state regions
• Synthesis of Petri nets from finite partial languages
• The synthesis problem of Petri nets

Cited in

(3)

• Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior
• Automated repair of process models with non-local constraints using state-based region theory
• Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns

Describes a project that uses

Uses Software

• HybridILPMiner
• rbminer

This page was built for publication: Automated repair of process models using non-local constraints

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