Abstract: In the business process modeling, determining the smallest change domain of the process modeling is becoming a key problem. The developed method to consider the smallest change region is mainly from the angle of the whole model, and its calculation is very complex, so it has some limitations. In order to find out the smallest change region of a target model quickly, this paper puts forward a method named dynamic slice of Petri nets. Through the comparative analysis of the structure figures of source model and target model, the suspicious areas of the target model can be achieved. Then the thought of behavioral profiles is used to derive the change region of the suspicious areas in the target model. And the method named dynamic slice of Petri nets is used to obtain the smallest change region of the target model. Finally, the electronic shopping is used as an example to analyze the effectiveness of the method.

Key words: the smallest change region, Petri nets, dynamic slice, suspicious areas, behavioral profiles, change region

摘要： 在业务流程管理中，确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域，计算量比较复杂，具有一定的局限性。为了尽快查找到目标模型中的最小变化域，提出了Petri网动态切片的方法。首先通过对比分析源模型和目标模型的结构图得出目标模型的可疑区域，接着依据行为轮廓的思想在目标模型可疑区域中搜索出变化域，然后通过Petri网动态切片的方法得到目标模型的最小变化域。最后通过具体的电子购物实例，验证了该方法的有效性。

关键词: 最小变化域, Petri网, 动态切片, 可疑区域, 行为轮廓, 变化域