关键词: Petri网, 模型修复, 对齐, 块结构, 并发事件

Abstract: At present, the process model can be mined from a large number of event logs to replay most of the logs. However, a few logs that deviate from the process model are also valid, and model repair is a good way to make the event log fit more with the process model. This paper proposes a repair analysis method of concurrent event process model based on Petri net. Firstly, the optimal alignment between the event log and the process model is found to filter out the concurrent events for repair. Secondly, the filtered concurrent events are reconstructed by using the proposed reconstruction sub-process repair method. Finally, the algorithm is embedded into the original model to realize the model repair, and the reasonable effectiveness of the method is illustrated through a concrete example. The repaired model can completely replay the given event log, and it can avoid the occurrence of redundant behavior caused by the loop, while also preserving the use value of the original model to the maximum extent.

Key words: Petri net, model repair, alignment, block structure, concurrent event