FMS实时控制系统OCPN模型的死锁分析(二)

为了使ＦＭＳ实时控制系统ＯＣＰＮ(面向对象的着色Ｐｅｔｒｉ网)模型具有可靠性,本文在Ｄ’Ｓｏｕｚａ的死锁分析算法基础上,提出了检测通用ＯＰＮ(面向对象的Ｐｅｔｒｉ网)模型和ＯＣＰＮ模型的死锁检测算法;同时利用提出的算法,对ＡＧＶ物理对象ＯＰＮ模型及无锡职业学院ＦＭＳ中构造的ＯＣＰＮ模型进行了死锁分析。通过实例验证本文提出的死锁检测算法具有简单性和通用性等特点。

用OCPN模型进行多种媒体同步调度的研究与实现

本文采用ＯＣＰＮ模型处理教学多媒体系统中音频，动画和视频图象的同步问题，并用Ｃ语言和ＷＩＮＤＯＷＳ实现了组合体教学课件。

用对象合成Petri网模型进行多种媒体同步调度的研究与实现

本文采用对象合成Petri网(OCPN)模型处理教学多媒体系统中音频、动画和视频图象的同步问题,并用C语言和WINDOWS实现了组合体教学课件。

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

多媒体同步是多媒体系统的关键问题 ,而同步模型是同步技术的基础。介绍了在建立于Petri网基础上的经典多媒体同步模型OCPN ,介绍并评价了几种扩展的Petri网同步模型XOCPN ,DTPN和IMPSM .最后进行了总结 。

多媒体系统的交互式同步模型

媒体同步是多媒体系统中的核心技术之一，目前已出现了多种同步模型。文章提出了一种基于petri网的同步模型，该模型扩展了OCPN模型，支持受用户影响的多媒体同步关系描述，是一种动态规范。