| 基于Petri网的工作流模型优化 |
| |
| 引用本文： | 傅作为,乐晓波. 基于Petri网的工作流模型优化[J]. 长沙理工大学学报(自然科学版), 2012, 0(2): 81-86 |
| |
| 作者姓名： | 傅作为 乐晓波 |
| |
| 作者单位： | 长沙理工大学计算机与通信工程学院 |
| |
| 基金项目： | 湖南省自然科学基金资助项目(08JJ3124) |
| |
| 摘 要： | 为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.
|
| 关 键 词： | Petri网 工作流 工作流网 优化 可达图 抑制弧 |
A workflow model optimization based on Petri net |
| |
| FU Zuo-wei,YUE Xiao-bo. A workflow model optimization based on Petri net[J]. Journal of Changsha University of Science and Technology(Natural Science), 2012, 0(2): 81-86 |
| |
| Authors: | FU Zuo-wei YUE Xiao-bo |
| |
| Affiliation: | (School of Computer and Communication Engineering,Changsha University of Science and Technology,Changsha 410004,China) |
| |
| Abstract: | To make the workflow model more concise,this paper gave the use of reachability analysis technique for WFPN rationality analysis method based on WFPN definitions,and presented the optimization algorithm of adding inhibitor arcs.The algorithm provides a new way of thinking for the Petri net applications in the large and complex model and theoretical analysis.Finally,optimization process is illustrated by a case,verifing the validation of the optimization algorithm. |
| |
| Keywords: | Petri net workflow workflow net optimization reachability graph inhibitor arcs |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
