Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067)
From MaRDI portal
scientific article; zbMATH DE number 7467848
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory |
scientific article; zbMATH DE number 7467848 |
Statements
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (English)
0 references
1 February 2022
0 references
free-choice Petri nets
0 references
region state-based synthesis
0 references
event logs
0 references
transition systems
0 references
process mining
0 references
process enhancement
0 references