一种WF-net合理性验证方法

摘要：

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.

关键词：工作流、WF-net、验证

所属期刊栏目：44

分类号：TP301.6(计算技术、计算机技术)

在线出版日期：2008-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1259-1262