延迟时间Petri网的验证分析

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

基于延迟时间Petri网的工作流相似性度量方法

为了解决实时系统中流程相似性的判定问题,提出一种基于流程中活动的拓扑结构和触发点的流程相似性度量方法。采用延迟时间Petri网(Delay Time Petri Nets,DTPN)模型来表示流程,用于找出流程的触发调度;定义活动时间约束路由关系,给出它们之间的距离和相似度计算公式,进而计算出流程之间的相似度;在此基础上设计相关算法,并且分析时间复杂度。通过实例验证了该算法在时间约束工作流相似性度量方面的有效性。

多媒体系统中基于Petri网的同步模型

本文主要介绍了多媒体系统中的媒体同步技术和基于Petri网的多种同步模型,并主要讨论了交互式同步模型ISPN。该模型支持用户交互的多媒体同步关系描述,是一种灵活的动态规范。

基于Petri网理论的AFDX性能分析

AFDX网络通过对传统的以太网技术进行了改进,凭着其可扩展性,双冗余管理,通信网络延迟的可确定性等优越的网络通信性能,已率先在大中型飞机领域应用,我国的大飞机已确定用AFDX系统。本文以随机Petri网为工具,对AFDX网络进行建模仿真,通过仿真计算出AFDX网络负载和系统的延迟时间两个重要的性能指标,通过对两个指标的性能曲线进行分析,有助于进一步理解航电系统事件消息在AFDX网络中的传输机制,为综合航电系统的设计和完善提供重要的理论依据。