摘要
Petri网作为一种描述系统行为的形式化工具 ,在各类多媒体系统中有着较多的应用 ,尤其擅长于描述多媒体的同步问题 ,出现了诸如 OCPN(对象组合 Petri网 )等多媒体同步模型 ,然而 ,这些模型却不足以处理分布式环境中的多媒体同步问题 .本文提出了一种新的扩充 Petri网模型并分析了其模型化的能力和性质 ,利用该模型可以较好地解决分布式环境中的多媒体同步问题 .
Multimedia synchronization is one of key problems in distributed multimedia system. Petri net model, such as object composition petri net (OCPN) model, has been used in many multimedia system. Yet these models are not enough for synchronization of computers in a distributed environment. This paper proposes a new petri net model: Prioritized Petri Net (P net), the modeling power and properties are analyzed. Using the new model, we can coordinate operations among distributed computer sites and make multimedia synchronization in distributed system.
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第6期732-735,共4页
Journal of Chinese Computer Systems
基金
江苏省自然科学基金的资助
