基于Petri网化简技术的工作流过程模型结构验证

• 作者: 徐晶明 杜宝珠
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: Petri网 工作流 合理性 模型化简
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 51-54,57
• 页数: 5页
• 分类号: TP393
• 字数: 2266字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2009.06.014

摘要

目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐晶明	北京理工大学研究生学院	1	8	1.0	1.0
2	杜宝珠	北京理工大学研究生学院	1	8	1.0	1.0