基于Petri网化简技术的工作流模型合理性验证

• 作者: 刘玉平 赵军富 靳荣 马胜梅
• 来源期刊: 科技与创新
• 关键词: Petri网 工作流 合理性 模型化简
• 年，卷（期）: 2009,（15）
• 所属期刊栏目: 软件时空
• 页码范围: 219-221
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2009.15.088

摘要

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵军富	内蒙古包头内蒙古科技大学实践训练中心	1	5	1.0	1.0
2	靳荣	内蒙古包头内蒙古科技大学实践训练中心	1	5	1.0	1.0
3	马胜梅	内蒙古包头内蒙古科技大学实践训练中心	2	5	1.0	2.0
4	刘玉平	内蒙古包头内蒙古科技大学实践训练中心	1	5	1.0	1.0