摘要： 将工作流概念映射到Petri网后得到的工作流网的合理性验证过程比较复杂,容易出现状态空间爆炸的问题,需要对工作流模型进行简化。文章将工作流模型的简化过程分为两个步骤,首先将工作流模型转化为经典Petri网,再对经典Petri网进行简化。对于自由选择网可以采用自由选择语义的规约方法进行简化,而对于非自由选择网可以结合自由选择语义的规约方法和标准的Petri网简化方法进行简化。

关键词: 工作流模型, Petri网, 正确性验证, 简化

Abstract: 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.

中图分类号: 

• TP301.6