A Multimedia Synchronization Model Based on Timed Petri Net

Multimedia synchronization is a significant requirement for distributed multimedia applications.In this paper,a multimedia synchronization model based on timed Petri nets is presented.Using this model one can give the abstraction and formal description for multimedia object compositions with time-constrained relations.Algorithms for asynchronous user interactions are also presented.