作为多媒体系统模型的时间petri网的同步合成

本文用一种以出现网为基网的时间petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的可能性，一个时问petri网中的同步变迁可划分为三种类型：理想同步变迁、可实现有效同步的变迁和不可能实现有效同步的变迁，一个好的多媒体系统的时间petri网模型不应存在第三类同步变迁。文中给出了这三类变迁的判定条件。