Petri net models for describing multimedia synchronization requirements

TitlePetri net models for describing multimedia synchronization requirements
Publication TypeConference Paper
Year of Publication1995
AuthorsVuong, S., K. Cooper, and M. Ito
Conference NameNetwork Protocols, 1995. Proceedings., 1995 International Conference on
Pagination260 -267
Date Publishednov.
Keywordsdynamic timed, extended object composition, multimedia communication, multimedia synchronization, object composition, performance evaluation, Petri net models, Petri nets, synchronisation, synchronization constraints, time stream

Synchronization constitutes an important research field in multimedia communication. The synchronization problem has been addressed in the literature in two distinct levels: specification and design. On the specification level, several formal models have been proposed, which are mostly variations of the Petri net model. Although some models are deemed to be better than others in some aspects, there has not been a comprehensive comparison of these specification models. This paper provides a critical review of the existing Petri net specification approaches for specifying synchronization constraints, including object composition, extended object composition, dynamic timed and time stream Petri net models, and applies them to the specification of an interesting, relatively straightforward synchronization example for a qualitative and quantitative evaluation of their strengths and weaknesses


a place of mind, The University of British Columbia

Electrical and Computer Engineering
2332 Main Mall
Vancouver, BC Canada V6T 1Z4
Tel +1.604.822.2872
Fax +1.604.822.5949

Emergency Procedures | Accessibility | Contact UBC | © Copyright 2021 The University of British Columbia