Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets

Process mining is an important technique for complex operational process management. It aims to extract valuable process-related information and build process models from event logs of enterprise information systems. Process models can describe the characteristics and verify the correctness of the system with the function of providing feedback to system designers. However, there may be some deviations between the activities in event logs and a process model because of the system upgrade and business process improvement. Thus the original model needs to be repaired because it does not describe the real business process well. For the models with non-free-choice structures, event logs can be replayed by the existing repair methods, but their repaired models are quite different from the business processes. Therefore, a new model repair method is proposed based on logic Petri nets in this paper. First, the concept of transition pairs and successor relationship is proposed. A successor relationship matrix is constructed. Then, the position to be repaired can be determined by traversing the transition pairs. Finally, the correctness and effectiveness of the proposed method are illustrated in our experiments.