| 基于Petri网的工作流过程验证方案的研究 |
| |
| 引用本文： | 卯福启,杨建. 基于Petri网的工作流过程验证方案的研究[J]. 计算机与现代化, 2012, 0(7): 226-229 |
| |
| 作者姓名： | 卯福启 杨建 |
| |
| 作者单位： | [1]北方工业大学后勤资产管理处,北京100144 [2]北方工业大学信息工程学院,北京100144 |
| |
| 摘 要： | 工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性。本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述。
|
| 关 键 词： | 工作流 过程验证 Petri网 |
Research on Verification in Workflow Process Modeling Application Based on Petri Nets |
| |
| MAO Fu-qi,YANG Jian. Research on Verification in Workflow Process Modeling Application Based on Petri Nets[J]. Computer and Modernization, 2012, 0(7): 226-229 |
| |
| Authors: | MAO Fu-qi YANG Jian |
| |
| Affiliation: | 1. Deptment of Asset Management, North China University of Technology, Beijing 100144, China; 2. College of Information Engineering, North China University of Technology, Beijing 100144, China) |
| |
| Abstract: | A critical challenge for workilow management systems is their ability to respond effectively for changes in business processes. However, current workflow management systems can not suite to deal with frequent changes, because there are hardly any checks to assure some minimal level of correctness. This paper presents a method using Petri-Net-Based techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification algorithm and process are described. |
| |
| Keywords: | workilow process verification Petri net |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
