基于图规约法的TCPN工作流网模型的验证方法

• 作者: 刘惠义 吴继锋 曾晓勤
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 图规约 赋时着色Petri网 工作流网 模型验证
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 短文
• 页码范围: 2976-2979,2983
• 页数: 5页
• 分类号: TP311
• 字数: 4057字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2006.10.072

摘要

针对经典Petri网的一些固有缺陷,对其在颜色、时间上进行了扩展,并结合工作流网的概念,给出了基于TCPN(Time-Color-Petri Net)的工作流网的定义.文中重点研究了采用图规约法对TCPN工作流网模型的验证,提出了流控制结构的图规约规则,并时这些规则进行了证明.在此基础上,运用这些规则对复杂工作流模型的算例进行逐步规约,验证了模型的合理性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘惠义	河海大学计算机及信息工程学院	53	303	8.0	15.0
2	曾晓勤	河海大学计算机及信息工程学院	45	302	8.0	15.0
3	吴继锋	河海大学计算机及信息工程学院	2	9	2.0	2.0