Abstract
This paper introduces a model for specifying synchronization constraints in distributed asynchronous multimedia systems and applications. The consistency and semantics of multimedia systems depend on the temporal behaviour of information streams, like audio and video streams, whose synchronization constraints in asynchronous environments need to be enforced. The promoted model, named Time Stream Petri Nets (TStreamPN) allows the timed behaviour of streams to be fully, accurately and formally described using an extension of time Petri nets. This model uses time intervals to label arcs that leave the places of the net. A complete set of firing rules is also proposed to accurately enforce actual synchronization policies between different and related multimedia streams. Therefore, this model allows a formal characterization and verification of time parameters in distributed asynchronous multimedia systems.
This work has been developed as part of the CESAME project, a research collaboration between CNET, CCETT and CNRS, and under the grant 92 1B 178 from CNET — France Telecom.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J. F. Allen, Maintaining Knowledge about Temporal Intervals, Comm. of hte ACM, 26, (11), November 1983.
B. Berthomieu, M. Diaz, Modeling and Verification of Time Dependent Systems using Time Petri Nets, IEEE Transactions on Software Engineering, V 17, N3, March 1991.
T. Bolognesi, From Timed Petri Nets to Timed LOTOS, IFIP Int Conf on Protocol Specification, Testing and Verification, Ottawa, June 1990, North-Holland.
M. Diaz, Modeling and Analysis of Communication and Cooperation Protocols using Petri Net basisd Models, Computer Networks, December 1982.
M. Diaz, P. Senac, Synchronization and Multimedia Objects, Technical Report 92437, LAAS, November 1992.
M. Diaz, P. de Saqui-Sannes, P. Senac, Un Modèle Formel pour la Spécification de la Synchronization Multimédia en Environment Distribué, Proceedings of CFIP'93, Montréal, September 1993.
M. Diaz, P. Senac, Time Stream Petri Nets, a Model for Multimedia Streams Synchronization, Proceedings of MMM'93, Singapore, November 1993.
C. L. Hamblin, Instants and Intervals, Proc. 1st Int. Conf. for the study of time, Springer Verlag, J. T. Fraser at al Editors, 1972.
T. Little, A. Ghafor, Multimedia Synchronization, IEEE Data Engineering September 1991.
T. Little, A. Ghafor, Synchronization and Storage Models for Multimedia Objects, IEEE Journal on Selected Areas in Communications, 8, (3), April 1990.
P. Merlin, A Study of the Recoverability of Computer Systems, Thesis, Computer Science Dept., University of California, Irvine, 1974.
T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol 77, No 4, April 1989.
C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Project MAC, TR 120, MIT, February 1974.
L. F. Rust da Costa Carmo, P. de Saqui-Sannes, J. P. Courtiat, Basic Synchronization Concepts in Multimedia Systems, Proceedings of the 3rd International Workshop on Network and Operating Support for Digital Audio and Video, La Jolla, California, November 1992.
P. Senac, M. Diaz, P. de Saqui-Sannes, A Formal Environment for the Specification an Design of Multimedia Synchronization Scenarios, short Proceedings of the 4th International Workshop on Network and Operating Support for Digital Audio and Video, Lancaster, November 1993.
P. Senac, M. Diaz, P. de Saqui-Sannes, Un Modèle Formel pour la Spécification de la Synchronization Multimédia en Environment Distribué, Proceedings of RTS'94, Paris, January 1994.
P. Senac, M. Diaz, The Properties of Structured Time Stream Petri Nets, Technical Report LAAS, April 1994.
P. Senac, M. Diaz, P. de Saqui-Sannes, Toward a Formal Specification of Multimedia Synchronization, published in “Annals of Telecommunications”, May/June 1994.
B. Walter, Timed Petri Nets for Modeling and Analysing protocols with time, Proc of the IFIP Conf on Protocol Specification, Testing and Verification, III, 1983, North Holland, H. Rudin & C. West eds.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Diaz, M., Sénac, P. (1994). Time Stream Petri Nets a model for timed multimedia information. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_13
Download citation
DOI: https://doi.org/10.1007/3-540-58152-9_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58152-9
Online ISBN: 978-3-540-48462-2
eBook Packages: Springer Book Archive