CONSTRUCTING AND REPAIRING PROCESS MODELS CONTAINING LOOP RETURN STRUCTURES VIA LOGIC PETRI NETS

Business processes realized by enterprise information systems are usually designed and verified in advance by process models. Event logs generated from such systems can be used to ensure the correctness of the business process. With the upgrade of systems or changing of customers' requests, it often appears that the actual behaviors observed in event logs are not consistent with those in process models. Process mining techniques are thus used to construct and repair process models by mining event logs. In this work, we propose a new model repair approach based on logic Petri nets (LPNs). It can repair a Petri-net-based process model containing a loop return structure. According to alignments, relations between the activities in event logs and the process models are analyzed such that the deviations can be found. Then, logic expressions of logic transitions are constructed and an LPN-based process model is thus constructed. The repaired model can accurately describe the same processes as the event logs. Finally, some cases related to a thoracic surgery process in a hospital are given. The correctness and effectiveness of the proposed approach are illustrated by experiments.