基于Petri网的工作流过程验证方案的研究
Research on Verification in Workflow Process Modeling Application Based on Petri Nets作者机构:北方工业大学后勤资产管理处北京100144 北方工业大学信息工程学院北京100144
出 版 物:《计算机与现代化》 (Computer and Modernization)
年 卷 期:2012年第7期
页 面:226-229页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
摘 要:工作流管理系统最主要的功能是要能够对业务流程的变化做出有效的反应。然而,当前的工作流管理系统并不能灵活应对业务流程的频繁变化,因为它们对所建的工作流模型几乎没有任何检查,以保证一些最低限度的正确性。本文结合Petri网相关理论技术,提出一种将过程模型验证机制集成到工作流流程定制组件中的方法,并对所采用的验证方案进行阐述。