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

• 作者: 方欢 方贤文 赵芳
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 最小变化域 Petri网 动态切片 可疑区域 行为轮廓 变化域
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 516-523
• 页数: 8页
• 分类号: TP391.9
• 字数: 5267字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1506077

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方贤文	安徽理工大学理学院信息与计算科学系	124	250	10.0	12.0
2	方欢	安徽理工大学理学院信息与计算科学系	107	228	9.0	11.0
3	赵芳	安徽理工大学理学院信息与计算科学系	2	5	2.0	2.0