Automated Repair of Process Models Using Non-local Constraints
From MaRDI portal
Publication:5100758
DOI10.1007/978-3-030-51831-8_14zbMath1503.68193OpenAlexW3034021260MaRDI 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
Related Items (3)
Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior ⋮ Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns ⋮ Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory
Uses Software
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
This page was built for publication: Automated Repair of Process Models Using Non-local Constraints