Petri网动态切片的最小变化域分析方法

来源：计算机科学与探索杂志2016年第4期北京时间：

作者：赵芳，方贤文，方欢

单位：安徽理工大学 理学院 信息与计算科学系，安徽 淮南 232001

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

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