基于搜索树的业务流程Petri网模型抽象化简方法
方欢
何路路
方贤文
王丽丽
1.安徽理工大学数学与大数据学院,安徽淮南,2320012.安徽理工大学数学与大数据学院,安徽淮南,2320013.安徽理工大学数学与大数据学院,安徽淮南,2320014.安徽理工大学数学与大数据学院,安徽淮南,232001
摘要：由于大型复杂的业务流程模型不便于用户形成快速的梗概理解,因此模型的抽象化简方法研究至关重要.已有的模型抽象化简方法大都考虑模型的控制流,很少考虑模型的交互语义,并且对于模型的待抽象区域定位模糊.本文利用Petri网的行为关系理论,结合深度优先搜索的思想,提出了基于搜索树的业务流程模型抽象化简方法.通过定义工作流网的3种块结构和边界库所的概念,得到网系统的变迁关联搜索树,进而利用变迁关联搜索树来识别模型中待抽象的区域,从而实现模型的抽象化简.最后,通过一个具体的实例来验证所提出方法的有效性和可行性.本文的主要贡献是:在同时考虑模型行为交互语义和控制流依赖关系的基础上,提出块结构的抽象化简方法和块结构的识别定位方法,算法的时间复杂度控制在多项式难度.
关键词：深度优先搜索变迁关联搜索树抽象化简行为轮廓Petri网
分类号：TP301(计算技术、计算机技术)
资助基金：国家自然科学基金项目(61472003)国家自然科学基金项目(61272153)国家自然科学基金项目(61340003)国家自然科学基金项目(61402011)国家自然科学基金项目(61572035)安徽省自然科学基金项目(1608085QF149)安徽省高校优秀青年人才支持项目(gxyqZD2018038)淮南市科技计划项目(2016A23)Supported by the National Natural Science Foundation of China(61472003)Supported by the National Natural Science Foundation of China(61272153)Supported by the National Natural Science Foundation of China(61340003)Supported by the National Natural Science Foundation of China(61402011)Supported by the National Natural Science Foundation of China(61572035)the Natural Science Foun-dation of Anhui Province(1608085QF149)the Youth Talents Support Project in Universities of Anhui Province(gxyqZD2018038)the Science&Technology Foundation of Huainan City(2016A23)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：11( 92-102 )
英文信息