Anna Kalenkova ; Josep Carmona ; Artem Polyvyanyy ; Marcello La Rosa - Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory

fi:7634 - Fundamenta Informaticae, December 23, 2021, Volume 183, Issues 3-4: Petri Nets 2020
Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory

Authors: Anna Kalenkova ; Josep Carmona ; Artem Polyvyanyy ; Marcello La Rosa

State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not free-choice, these methods fail to provide a precise model. In this paper, we propose a novel approach for enhancing free-choice process models by adding non-free-choice constructs discovered a-posteriori via region-based techniques. This allows us to benefit from the performance of existing process discovery methods and the accuracy of the employed fundamental synthesis techniques. We prove that the proposed approach preserves fitness with respect to the event log while improving the precision when indirect dependencies exist. The approach has been implemented and tested on both synthetic and real-life datasets. The results show its effectiveness in repairing models discovered from event logs.


Volume: Volume 183, Issues 3-4: Petri Nets 2020
Published on: December 23, 2021
Accepted on: October 28, 2021
Submitted on: June 30, 2021
Keywords: Computer Science - Artificial Intelligence,Computer Science - Formal Languages and Automata Theory


Share

Consultation statistics

This page has been seen 66 times.
This article's PDF has been downloaded 51 times.