| 基于着色Petri网的工作流模型研究与应用 |
| |
| 引用本文： | 高德平,周国祥. 基于着色Petri网的工作流模型研究与应用[J]. 合肥工业大学学报(自然科学版), 2010, 33(2) |
| |
| 作者姓名： | 高德平 周国祥 |
| |
| 作者单位： | 合肥工业大学计算机与信息学院,安徽,合肥,230009 |
| |
| 基金项目： | 国家自然科学基金资助项目 |
| |
| 摘 要： | 建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。
|
| 关 键 词： | 着色Petri网 工作流模型 项目金额申报 |
Workflow model research and application based on colored Petri nets |
| |
| GAO De-ping,ZHOU Guo-xiang. Workflow model research and application based on colored Petri nets[J]. Journal of Hefei University of Technology(Natural Science), 2010, 33(2) |
| |
| Authors: | GAO De-ping ZHOU Guo-xiang |
| |
| Abstract: | Modeling is a core job and one of the most important research fields in workflow technology.In this paper,the related concepts on colored Petri nets and Colored Workflow Nets(CWF-nets) are introduced,and then the Great Transition List method,a method of analyzing the correctness of CWF-nets,is presented.In the end,a CWF-nets model of project amount declaration process is de-signed to verify its correctness. |
| |
| Keywords: | colored Petri net workflow model project amount declaration |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
