The Community for Technology Leaders
2012 20th IEEE International Conference on Network Protocols (ICNP) (1995)
Tokyo, Japan
Nov. 7, 1995 to Nov. 10, 1995
ISBN: 0-8186-7216-1
pp: 260
M. Ito , Dept. of Electr. Eng. & Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
K. Cooper , Dept. of Electr. Eng. & Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
S. Vuong , Dept. of Electr. Eng. & Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
ABSTRACT
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
INDEX TERMS
multimedia communication; synchronisation; Petri nets; performance evaluation; Petri net models; multimedia synchronization; multimedia communication; synchronization constraints; object composition; extended object composition; dynamic timed; time stream
CITATION
M. Ito, K. Cooper, S. Vuong, "Petri net models for describing multimedia synchronization requirements", 2012 20th IEEE International Conference on Network Protocols (ICNP), vol. 00, no. , pp. 260, 1995, doi:10.1109/ICNP.1995.524841
83 ms
(Ver 3.3 (11022016))