基于Petri网的分布式多媒体同步模型研究

Petri网作为一种描述系统行为的形式化工具 ,在各类多媒体系统中有着较多的应用 ,尤其擅长于描述多媒体的同步问题 ,出现了诸如 OCPN(对象组合 Petri网 )等多媒体同步模型 ,然而 ,这些模型却不足以处理分布式环境中的多媒体同步问题 .本文提出了一种新的扩充 Petri网模型并分析了其模型化的能力和性质 ,利用该模型可以较好地解决分布式环境中的多媒体同步问题 .

交互式多媒体动态同步Petri网模型——扩展的IMDSPN

将优先权输入事件Petri网引入到IMDSPN模型中,建立了D-IMDSPN模型。D-IMDSPN模型可以解决在分布式多媒体环境中,出现在用户交互作用下的媒体来源于各种资源或是要到达多个目的地时的异步,以更高效的方式保证了多媒体同步。