关键词: 过程模型修正, 循环并发结构, 逻辑Petri网, 一致性检测, 校准

Abstract: There are many deviations between behaviors described by process models and behaviors recorded in event logs,and process models should be repaired to replay event logs.For the model with cyclic concurrent structure,the model structure obtained by the existing repair method was very complicated and could not correctly describe the relationship between activities,which led to the repaired model with low precision.Therefore,a dynamic model repairing method based on logical Petri nets was proposed to repair the process model with cyclic concurrency structure.A concept of concurrent transition set was proposed based on the process tree.Deviations could be located by the relationship between token place set of continuous log actions and corresponding set of previous transitions,and the process model could be dynamically repaired by deviations.The correctness and effectiveness of the dynamic repair method was evaluated by an experiment instance.

Key words: process model repair, cyclic concurrency structure, logical Petri net, conformance checking, alignment