基于Petri网的工作流建模合理性验证算法

• 作者: 王道平 郝玫
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 工作流模型 Petri网 合理性 验证算法
• 年，卷（期）: 2008,（13）
• 所属期刊栏目: 工程与应用
• 页码范围: 228-231
• 页数: 4页
• 分类号: TP301.6
• 字数: 5517字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.13.070

摘要

Petri网是一种适用于多种系统的图形化、数学化的建模工具,并且能为工作流模型的结构分析和性能评价提供技术和手段.通过对现有的工作流网的合理性验证定理和算法进行分析,完善并改进了一种基于Petri网的工作流模型合理性验证算法,最后用实例验证了该算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王道平	北京科技大学经济管理学院	169	2253	25.0	39.0
2	郝玫	北京科技大学经济管理学院	16	98	5.0	9.0