计算机科学与探索2016，Vol.10Issue(4)：516-523,8.DOI:10.3778/j.issn.1673-9418.1506077
Petri网动态切片的最小变化域分析方法
Analysis Method of the Smallest Change Region with Dynamic Slice of Petri Nets
摘要
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.关键词
最小变化域/Petri网/动态切片/可疑区域/行为轮廓/变化域Key words
the smallest change region/Petri nets/dynamic slice/suspicious areas/behavioral profiles/change region分类
信息技术与安全科学引用本文复制引用
赵芳,方贤文,方欢..Petri网动态切片的最小变化域分析方法[J].计算机科学与探索,2016,10(4):516-523,8.基金项目
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(安徽省高校自然科学基金重点项目) （安徽省高校自然科学基金重点项目）
