基于同步时间petri网的细粒度多媒体同步模型研究

多媒体同步是分布式多媒体信息系统的关键问题。在分析和比较几种已有的典型的多媒体同步模型的基础上．本文提出了一种新的模型：同步时间petri网(简记为stpn)。stpn不仅能完整、准确地对媒体流内和媒体流间的时间层次行为进行形式化描述，而且解决了时间流petri网中存在的死托肯问题。特别地，通过引入抑止弧，stpn有效地克服了随机延迟、阻塞、丢包等因素的不良影响。尤其当丢失率较高时．stpn更能体现其优越性和鲁棒性。