基于Petri网化简技术的工作流模型合理性验证  

Workflow Model Rationality Verification Based on Petri Net Reduction Techniques

作　　者：赵军富[1] 靳荣[1] 马胜梅[1] 刘玉平[1] 

机构地区：[1]内蒙古科技大学实践训练中心,内蒙古包头014010

出　　处：《微计算机信息》2009年第15期219-221,共3页Control & Automation

基　　金：基金申请人:靳荣;项目名称:基于AXML的工作流关键技术的研究;颁发部门:内蒙古自治区自然科学基金(200607010810)

摘　　要：随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程。With the development of workflow system tends to become Large-scale-rization. As a result,when verification for a large model ,the verification techniques based on reachability graph face with the problem of state space exploding. So it is necessary to reduce a large model before process verification. In this paper, Petri net,Workflow Petri net and process soundness definition are introduced, a procedure of structure soundness verification for Workflow process model is obtained by adopting two reduction methods for Petri net.

关 键 词：PETRI网 工作流 合理性 模型化简 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]