Night 10 Automated Repair of Process Models with Non Local Constraints

Anna Kalenkova, Research Fellow in Process Mining, The University of Melbourne. Stateoftheart process discovery methods construct freechoice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not freechoice, these methods fail to provide a precise model. We propose a novel approach for enhancing freechoice process models by adding nonfreechoice constructs discovered aposteriori via regionbased 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 reallife datasets. The results show its effectiveness in repairing models discovered from event logs. April 21, 2021 Wedn