基于Petri-Net的流程验证新方法

发布时间：2017-09-23 09:36

  本文关键词：基于Petri-Net的流程验证新方法

  更多相关文章： 业务流程模型 Petri-Net 工作流 模型验证

【摘要】：为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以Petri-Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证,证明了算法的有效性。对算法进行了效率分析实验,实验结果表明,算法在验证效率上要明显优于覆盖图和因果足迹法。最后,开发了验证算法的实用工具程序包,并对其应用效果进行了展示。本文设计的流程验证方法合理高效,适合在实际系统中应用。
【作者单位】： 西北工业大学现代设计与集成制造技术教育部重点实验室;
【关键词】： 业务流程模型 Petri-Net 工作流 模型验证
【基金】：国家自然科学基金资助项目(51375395)
【分类号】：F273;TP301.1
【正文快照】： 业务流程模型作为业务流程管理的主体,在企业发展过程中具有举足轻重的作用,对企业发展的推动力和影响力正在逐步提升。因此,业务流程建模方法及模型验证一直是流程管理研究的一个核心领域。至今为止,业务流程的研究人员出于不同目的从不同的角度对业务建模问题展开研究,形成

【相似文献】

中国期刊全文数据库 前10条

1 李红信,范玉顺;分布式工作流执行服务的设计与实现[J];计算机工程与应用;2003年24期

2 刘向前,王晓琳,曾广周;基于协调机制的多工作流过程合并方法[J];计算机工程;2003年02期

3 吴世贵;浅谈工作流技术[J];建材技术与应用;2003年05期

4 李红玲,朱锦泉;基于工作流技术图书馆自动化管理系统的设计与实现[J];长春理工大学学报;2005年02期

5 ;你工作流了吗?[J];软件世界;2006年23期

6 苏军;薛顺利;李尊朝;;工作流项目的代理安全机制[J];西安工程科技学院学报;2006年06期

7 付伟;;工作流技术综述[J];河北北方学院学报(自然科学版);2007年01期

8 李燕;冯玉强;;工作流挖掘:一种新型工作流自动化建模方法[J];计算机工程;2007年04期

9 杨洪波;;工作流:三分天下[J];软件世界;2007年10期

10 蔺杨;戚国强;孙培昕;;电子政务系统中工作流技术的应用研究[J];信息技术;2007年09期

中国重要会议论文全文数据库 前10条

1 常群;王海洋;;基于长短事务分离的工作流事务模型[A];第十九届全国数据库学术会议论文集（研究报告篇）[C];2002年

2 马帅;王海洋;王文;;事务工作流及其错误处理策略[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

3 刘庆;刘英博;王建民;;基于工作流日志的层次化角色挖掘[A];第二十四届中国数据库学术会议论文集（技术报告篇）[C];2007年

4 王飞;李郴;薛清龙;胡晓鑫;;基于工作流技术的银行影像系统的研究和开发[A];煤矿自动化与信息化——第19届全国煤矿自动化与信息化学术会议暨中国矿业大学（北京）百年校庆学术会议论文集[C];2009年

5 刘建勋;陈海燕;;工作流管理系统中基于组织结构约束的授权研究[A];全国第16届计算机科学与技术应用（CACIS）学术会议论文集[C];2004年

6 魏连;许榕生;;基于工作流技术的手机取证系统的设计与实现[A];第13届全国计算机、网络在现代科学技术领域的应用学术会议论文集[C];2007年

7 邹盟军;黄炜;;基于组件的工作流管理平台的设计与实现[A];广东省电机工程学会2003-2004年度优秀论文集[C];2005年

8 张博;杨帆;;基于表单的工作流管理系统设计[A];第十四届中国科协年会第5分会场：绿色船舶与海洋装备创新发展及产业化论坛论文集[C];2012年

9 张博;杨帆;;基于表单的工作流管理系统设计[A];2012年MIS/S&A学术交流会议论文集[C];2012年

10 张琪;赵霁;;工作流技术在信息管理系统中的应用[A];2005全国自动化新技术学术交流会论文集（三）[C];2005年

中国重要报纸全文数据库 前10条

1 何进伟;还工作流管理一个说法[N];中国计算机报;2003年

2 胡长城;工作流:国内国际两极分化[N];计算机世界;2007年

3 工作流资深专家 游青华;如何选择一个适合的工作流平台[N];中国计算机报;2007年

4 沈建苗 编译;基于Spring创建工作流引擎[N];计算机世界;2006年

5 ;工作流仍为重点 孤岛依旧存在[N];中国计算机报;2007年

6 刘琦;MapReduce:亚马逊云服务再添新援[N];中国计算机报;2009年

7 陈友梅;工作流与EAI的博弈[N];中国计算机报;2004年

8 通文;Adobe新品实现工作流根本性突破[N];中国电子报;2008年

9 ;工作流集成不能少[N];中国计算机报;2002年

10 田颖 高媛慧;基于工作流的钢铁行业ERP[N];财会信报;2007年

中国博士学位论文全文数据库 前1条

1 王朝霞;数据感知工作流的建模与验证[D];清华大学;2012年

中国硕士学位论文全文数据库 前10条

1 侯美玲;基于工作流技术的管理信息系统开发研究[D];太原理工大学;2006年

2 王艳艳;基于工作流的企业办公自动化系统的设计与实现[D];电子科技大学;2015年

3 汪新超;基于工作流的OA系统的设计与实现[D];中国石油大学(华东);2014年

4 郭宇澄;混合租赁方式的云服务工作流调度优化[D];东南大学;2015年

5 张跃;带截止期约束的多模态云服务工作流调度方法[D];东南大学;2015年

6 张经晶;面向广电行业媒体资产管理系统的设计与实现[D];吉林大学;2016年

7 王玉科;基于接口设计的工作流研究与实现[D];中国海洋大学;2008年

8 陈仁宇;工作流技术在企业物料控制系统中的应用研究[D];东华大学;2009年

9 林治宇;基于工作流的教务管理系统的研究与实现[D];北京邮电大学;2006年

10 贾楠;基于树编辑距离的工作流聚类应用研究[D];昆明理工大学;2013年

，

本文编号：904536