Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory
From MaRDI portal
Publication:5025067
DOI10.3233/FI-2021-2089MaRDI QIDQ5025067
A. A. Kalenkova, Marcello La Rosa, Josep Carmona, Artem Polyvyanyy
Publication date: 1 February 2022
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.15398
transition systemsprocess miningevent logsfree-choice Petri netsprocess enhancementregion state-based synthesis
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
- Deriving Petri nets from finite transition systems
- Free Choice Petri Nets
- Automated Repair of Process Models Using Non-local Constraints
- Discovering Block-Structured Process Models from Incomplete Event Logs
- New Region-Based Algorithms for Deriving Bounded Petri Nets