文献类型：期刊文章

作　　者：方欢[1] 何路路[1] 方贤文[1] 王丽丽[1]

FANG Huan;HE Lu-lu;FANG Xian-wen;WANG Li-li(College of Mathematics & Big Data, Anhui University of Science and Technology, Huainan Anhui 232001, China)

机构地区：[1]安徽理工大学数学与大数据学院,安徽淮南232001

出　　处：《控制理论与应用》

基　　金：国家自然科学基金项目(61472003;61272153;61340003;61402011;61572035);安徽省自然科学基金项目(1608085QF149);安徽省高校优秀青年人才支持项目(gxyqZD2018038);淮南市科技计划项目(2016A23)资助~~

年　　份：2018

卷　　号：35

期　　号：1

起止页码：92-102

语　　种：中文

收录情况：BDHX、BDHX2017、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2017_2018、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：由于大型复杂的业务流程模型不便于用户形成快速的梗概理解,因此模型的抽象化简方法研究至关重要.已有的模型抽象化简方法大都考虑模型的控制流,很少考虑模型的交互语义,并且对于模型的待抽象区域定位模糊.本文利用Petri网的行为关系理论,结合深度优先搜索的思想,提出了基于搜索树的业务流程模型抽象化简方法.通过定义工作流网的3种块结构和边界库所的概念,得到网系统的变迁关联搜索树,进而利用变迁关联搜索树来识别模型中待抽象的区域,从而实现模型的抽象化简.最后,通过一个具体的实例来验证所提出方法的有效性和可行性.本文的主要贡献是:在同时考虑模型行为交互语义和控制流依赖关系的基础上,提出块结构的抽象化简方法和块结构的识别定位方法,算法的时间复杂度控制在多项式难度.

关 键 词：深度优先搜索 变迁关联搜索树  抽象化简  行为轮廓  PETRI网

分 类 号：O23]