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

A New Method for Business Process Verification Based on Petri-Net

作　　者：常关羽[1] 杨海成[1] 莫蓉[1] 

机构地区：[1]西北工业大学现代设计与集成制造技术教育部重点实验室,陕西西安710072

出　　处：《四川大学学报（工程科学版）》2016年第6期180-187,共8页Journal of Sichuan University (Engineering Science Edition)

基　　金：国家自然科学基金资助项目(51375395)

摘　　要：为解决业务流程管理应用系统中模型可验证性支持不足的问题,提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理,聚焦于工作流网络模型,在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路,形成了以Petri-Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证,证明了算法的有效性。对算法进行了效率分析实验,实验结果表明,算法在验证效率上要明显优于覆盖图和因果足迹法。最后,开发了验证算法的实用工具程序包,并对其应用效果进行了展示。本文设计的流程验证方法合理高效,适合在实际系统中应用。In order to make up the deficiency of model verification in enterprise application, a new method aiming at application system was proposed based on the state of art in the research filed of business process modeling and verification by using the analysis principle of Petri-Net,the idea for business process verification was deduced based on Petri-Net characters such as incidence matrix, home state, transition sequence, and a problem-solving algorithm through the invariants of Petri-Net was well formed. Experiments were designed, and the proposed algorithm was tested in both theory analysis and application simulation perspectives, which proved the effectiveness of the algorithm by comparison of two perspectives＇ output. Moreover, efficiency performance tests were carried out and the result confirmed that the propossed method is better than coverage graph and causal footprints methods. Finally, a tool package was developed according to the algorithm, and the application capability of which was displayed in practice. Therefore, it can be concluded that the verification algorithm presented is reasonable and efficiency.

关 键 词：业务流程模型 PETRI-NET 工作流 模型验证 

分 类 号：TP315[自动化与计算机技术—计算机软件与理论]