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 TheoryArticle

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

    Consultation statistics

    This page has been seen 151 times.
    This article's PDF has been downloaded 136 times.