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

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