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