基于Petri网的工作流过程验证方案的研究  

Research on Verification in Workflow Process Modeling Application Based on Petri Nets

作　　者：卯福启[1] 杨建[2] 

机构地区：[1]北方工业大学后勤资产管理处,北京100144 [2]北方工业大学信息工程学院,北京100144

出　　处：《计算机与现代化》2012年第7期226-229,共4页Computer and Modernization

摘　　要：工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性。本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述。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.

关 键 词：工作流 过程验证 PETRI网 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]