工作流模型正确性验证过程中的模型简化问题  

Reduction of WF-NET During the Process of Soundness Verification

作　　者：杜淑楠[1] 章宁[1] 王鲁滨[1] 

机构地区：[1]中央财经大学信息学院,北京100081

出　　处：《计算机工程》2005年第B07期110-111,114,共3页Computer Engineering

摘　　要：将工作流概念映射到Petri网后得到的工作流网的合理性验证过程比较复杂,容易出现状态空间爆炸的问题,需要对工作流模型进行简化。文章将工作流模型的简化过程分为两个步骤,首先将工作流模型转化为经典Petri网,再对经典Petri网进行简化。对于自由选择网可以采用自由选择语义的规约方法进行简化,而对于非自由选择网可以结合自由选择语义的规约方法和标准的Petri网简化方法进行简化。The process of soundness verification of WF-NET （Work-flow model based on Petri net） is very complex, so the reduction of WF-NET is needed. This paper splits the reduction into two steps： first reduces WF-NET to classical Petri net, and then reduces the classical Petri net. The method of reduction based on free choice semantic can be used to reduce the free choice nets. To those non-free choice nets, the method of reduction based on free choice semantic and the method of reduction of standard Petri net can be used synthetically.

关 键 词：工作流模型 PETRI网 正确性验证 简化 

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