Automated Repair of Process Models Using Non-local Constraints

DOI10.1007/978-3-030-51831-8_14zbMath1503.68193MaRDI QIDQ5100758

Artem Polyvyanyy, A. A. Kalenkova, Josep Carmona, 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

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

Related Items

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 handling infrequent behavior

Uses Software

• rbminer
• HybridILPMiner

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri net synthesis
• Discovering workflow nets using integer linear programming
• The synthesis problem of Petri nets
• A geometric characterisation of event/state separation
• A Graph-Theoretical Characterisation of State Separation
• Process Discovery Using Integer Linear Programming
• Process Mining from a Basis of State Regions
• Deriving Petri nets from finite transition systems
• Free Choice Petri Nets
• Discovering Block-Structured Process Models from Incomplete Event Logs
• New Region-Based Algorithms for Deriving Bounded Petri Nets