Affiliations: [a] School of Computing and Information Systems, The University of Melbourne, Australia. anna.kalenkova@unimelb.edu.au | [b] Department of Computer Science, Polytechnic University of Catalonia, Spain. jcarmona@cs.upc.edu | [c] School of Computing and Information Systems, The University of Melbourne, Australia. artem.polyvyanyy@unimelb.edu.au | [d] School of Computing and Information Systems, The University of Melbourne, Australia. marcello.larosa@unimelb.edu.au
Correspondence:
[*]
Address for correspondence: School of Computing and Information Systems, The University of Melbourne, Australia
Note: [†] This work was partly supported by the Australian Research Council Discovery Project DP180102839.
Note: [‡] This work was supported by MINECO and FEDER funds under grant TIN2017-86727-C2-1-R.
Abstract: 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.
Keywords: free-choice Petri nets, region state-based synthesis, event logs, transition systems, process mining, process enhancement
