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

• 作者: 杜淑楠 王鲁滨 章宁
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 工作流模型 Petri网 正确性验证 简化
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 110-111,114
• 页数: 3页
• 分类号: TP302.1
• 字数: 2887字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.z1.041

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	章宁	中央财经大学信息学院	32	418	10.0	20.0
2	王鲁滨	中央财经大学信息学院	12	119	6.0	10.0
3	杜淑楠	中央财经大学信息学院	1	12	1.0	1.0