基于Petri网和抽象方法的工作流模型分解

• 作者: 封富君 李俊山 林闯 蒋屹新
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: Petri网 Kripke结构 工作流 抽象
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 工作流建模与分析
• 页码范围: 118-121,124
• 页数: 5页
• 分类号: TP301
• 字数: 3237字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2005.z1.027

摘要

Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	李俊山	第二炮兵工程学院计算机与指挥自动化系	136	1222	15.0	29.0
3	封富君	清华大学计算机科学与技术系	10	212	3.0	10.0
7	蒋屹新	清华大学计算机科学与技术系	8	286	4.0	8.0