A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges

Process models can be discovered from event logs generated by the enterprise information system. As business processes' frequently changing, some activities in event logs may belong to different choice branches, while the actual model can only replay activities on the same choice branch. Thus, the model needs to be repaired to describe the business process accurately. For activities occurring in a choice structure, although the model repaired by the existing methods has good fitness, its structure may have changed a lot. This paper proposes a new model repair method based on logic Petri nets. First, we define a new event log type-choice deviation sub-log. Then, we find deviation positions according to the principle of token replaying. Next, we add bridges among choice branches to repair the model. We conduct experiments on some cases from cancer treatment processes in a hospital. The effectiveness and correctness of our method can be illustrated. The model repaired by our method is similar to the original one, and it has a higher precision compared with the existing model repair methods.