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

摘要：

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

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

所属期刊栏目：10

分类号：TP391.9(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant Nos.61272153,61402011;the Natural Science Foundation of Anhui Province under Grant No.1508085MF111;the Natural Science Foundation of Educa-tional Government of Anhui Province under Grant No. KJ2014A607

在线出版日期：2016-05-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：516-523