基于Petri网化简技术的工作流过程模型结构验证  

Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques

作　　者：徐晶明[1] 杜宝珠[1] 

机构地区：[1]北京理工大学研究生学院,北京100081

出　　处：《计算机技术与发展》2009年第6期51-54,57,共5页Computer Technology and Development

基　　金：内蒙古自然科学基金(200607010810)

摘　　要：目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题。因此,在过程验证之前,对大型模型进行化简是必要的。文中介绍两种化简规则。这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petri网和原有的Petri网具有相同的属性。介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程。Now, the workflow system develop to large size. As a result, when verification for a large size model , the verification techniques of based on reachability graph face with the problem of state space explode. In that way, before process verification, it is necessary to reduce a large size net. In this paper, introduce two types reduction rules. These rules can reduce a large petri net to more smaller petri net, and maintain a soundness attributes, guarantee reduced petri net have the same attributes with original petri net. Introducing petri net, workflow petri net and process soundness definition;discussing two reduction methods for petri net;giving a procedure of structure soundness verification for workflow process model.

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

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