| 基于Petri-Net的流程验证新方法 |
| |
| 引用本文： | 常关羽,莫蓉,杨海成.基于Petri-Net的流程验证新方法[J].四川大学学报(工程科学版),2016,48(6):180-187. |
| |
| 作者姓名： | 常关羽 莫蓉 杨海成 |
| |
| 作者单位： | 西北工业大学,西北工业大学,西北工业大学 |
| |
| 基金项目： | 国家自然科学基金(51375395). 几何演变驱动的高维机加工艺流程知识发现与重用研究 |
| |
| 摘 要： | 为解决业务流程管理应用系统中模型可验证性支持不足的问题，文章立足于业务流程建模和验证方法研究领域现状，以理论研究为基础提出一种面向应用系统的流程验证新方法。该方法利用PetriNet网络分析原理，聚焦于工作流网络模型，在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路，形成了以PetriNet网络不变量求解为根本的验证算法。文中设计了实验对算法进行了理论分析验证和应用仿真验证，由此证明了文中算法的有效性。此外，为了体现算法的应用效能，对算法进行了效率分析实验，实验表明算法在验证效率上要明显优于覆盖图和因果足迹法。最后，依据文章的研究结果开发了验证算法的实用工具程序包，并对其应用效果进行了展示。综合而言，本文设计的流程验证方法合理高效，适合在实际系统中进行应用。
|
| 关 键 词： | 业务流程管理 PetriNet 工作流 模型验证 |
| 收稿时间： | 2015/12/15 0:00:00 |
| 修稿时间： | 2016/7/27 0:00:00 |
A New Method for Business Process Verification Based on Petri-Net |
| |
| changuanyu,MoRong and YangHaiChen.A New Method for Business Process Verification Based on Petri-Net[J].Journal of Sichuan University (Engineering Science Edition),2016,48(6):180-187. |
| |
| Authors: | changuanyu MoRong and YangHaiChen |
| |
| Abstract: | |
| |
| Keywords: | Business Process Management PetriNet Workflow Model Verification |
|
| 点击此处可从《四川大学学报(工程科学版)》浏览原始摘要信息 |
|
点击此处可从《四川大学学报(工程科学版)》下载全文 |
