|
|||||
|
|
| 基于Petri网的工作流结构正确性化简验证方法 | |
| 引用本文： | 胡乃静,赵亮,胡金化. 基于Petri网的工作流结构正确性化简验证方法[J]. 小型微型计算机系统, 2007, 28(6): 1076-1079 |
| 作者姓名： | 胡乃静 赵亮 胡金化 |
| 作者单位： | 1. 复旦大学,计算机与信息技术系,上海,200433 2. 东华大学,计算机学院,上海,200051 |
| 基金项目： | 上海市博士后科研奖励计划项目 |
| 摘 要： | 工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性. |
| 关 键 词： | Petri网 工作流 工作流网 正确性验证 |
| 文章编号： | 1000-1220（2007）06-1076-04 |
| 修稿时间： | 2006-03-24 |
Verification of Evolution Rules on Workflow Net Based on Petri-Net |
|
| HU Nai-jing,ZHAO Liang,HU Jin-hua. Verification of Evolution Rules on Workflow Net Based on Petri-Net[J]. Mini-micro Systems, 2007, 28(6): 1076-1079 | |
| Authors: | HU Nai-jing ZHAO Liang HU Jin-hua |
| Affiliation: | 1.Departrnent of Information Management, Shanghai Finance University, Shanghai 201209, China; 2.Department of Computer Science, Fudan University, Shanghai 200433, China |
| Abstract: | Workflow is one of important research area in workflow management technology. But the arithmetic on verification of workflow net construction is too complicated ,This paper describe evolution rules on correct check of workflow net construction based on workflow net which advanced by Aalst, paper promises evolution algorithm and verification of evolution rules, so that make the complexity of verification algorithm fallen. |
| Keywords: | Petri nets workflow workflow nets verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |