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

• 作者: 何萍 李凡
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 工学
• 关键词: 工作流 WF-net 验证
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 研究论文
• 页码范围: 1259-1262
• 页数: 4页
• 分类号: TP301.6
• 字数: 3968字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2007.06.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何萍		8	24	3.0	4.0
2	李凡		5	30	3.0	5.0