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

作     者：赵芳 方贤文 方欢 ZHAO Fang;FANG Xianwen;FANG Huan

作者机构：安徽理工大学理学院信息与计算科学系安徽淮南232001 

出 版 物：《计算机科学与探索》 (Journal of Frontiers of Computer Science and Technology)

年 卷 期：2016年第10卷第4期

页      面：516-523页

核心收录：

学科分类：08[工学] 080203[工学-机械设计及理论] 0802[工学-机械工程] 

基　　金：国家自然科学基金Nos.61272153 61402011 安徽省自然科学基金No.1508085MF111 安徽省高校自然科学基金重点项目No.KJ2014A607~~ 

主　　题：最小变化域 Petri网 动态切片 可疑区域 行为轮廓 变化域 

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