延迟时间Petri网的验证分析

作     者：冯复剑 FENG Fujian

作者机构：江苏第二师范学院南京210013 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2019年第55卷第4期

页      面：72-78页

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

主　　题：实时系统 延迟时间Petri网(DTPN) 验证分析 

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