Abstract: To solve the problem that the existing model repair method only considered the fitting degree,but ignored the indicators such as precision and simplicity,a new model repair technique based on logic Petri net was proposed,which used the existing conformance checking technologies calculate the optimal alignment and oriented the deviation position by identifying the located place.The definition of logic alignment and logic optimal alignment were given,and a calculation method based on the optimal alignment of fitting was proposed.By comparing with Fahland method,the proposed method had higher fitting degree and precision,and could repair processes with complex structure.Through the simulation experiment analysis,the validity of the proposed method was proved.

Key words: alignment, deviation, logic Petri net, logic alignment, model repair

摘要： 为了解决现有模型修正方法仅考虑拟合度,而忽略精确度以及简洁度等指标的问题,提出一种基于逻辑Petri网的模型修正技术。利用已有的一致性检测技术计算最优校准,并通过标识所在库所定位偏差位置。给出了逻辑校准和逻辑最优校准的定义,并提出一种基于最优校准的计算拟合度的方法。将本文所提方法与Fahland方法进行对比分析,表明本文修正方法的拟合度和精确度更高,能够更好的修正带有复杂循环结构的流程。最后,通过仿真实验证明了方法的有效性。

关键词: 校准, 偏差, 逻辑Petri网, 逻辑校准, 模型修正