延迟时间Petri网的验证分析

• 作者: 冯复剑
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 实时系统 延迟时间Petri网(DTPN) 验证分析
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 理论与研发
• 页码范围: 72-78
• 页数: 7页
• 分类号: TP311
• 字数: 5552字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1807-0263

摘要

延迟时间Petri网(Delay Time Petri Nets,DTPN)是一类重要的时间扩展Petri网系统,解决了其他时间扩展Petri网(如时间Petri网)在保存时间约束时所面临的困难.可调度验证的目的是验证工作流模型时间约束的合理性,对流程实例的时间可达性进行仿真.提出一种基于DTPN的时间约束工作流验证分析方法.给出了DTPN的相关定义,并结合工作流控制结构描述了变迁可触发的时间条件;提出了DTPN触发点的概念以及基于此的验证分析算法;简要分析了DTPN的特性.DTPN的研究丰富完善了现有时间Petri网体系,具有积极的意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯复剑		8	11	2.0	3.0