Advertisement

Time Stream Petri Nets a model for timed multimedia information

  • Michel Diaz
  • Patrick Sénac
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 815)

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.

Keywords

Multimedia System Firing Interval Multimedia Stream Firing Rule Synchronization Unit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Allen]
    J. F. Allen, Maintaining Knowledge about Temporal Intervals, Comm. of hte ACM, 26, (11), November 1983.Google Scholar
  2. [Berthomieu]
    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.Google Scholar
  3. [Bolognesi]
    T. Bolognesi, From Timed Petri Nets to Timed LOTOS, IFIP Int Conf on Protocol Specification, Testing and Verification, Ottawa, June 1990, North-Holland.Google Scholar
  4. [Diaz1]
    M. Diaz, Modeling and Analysis of Communication and Cooperation Protocols using Petri Net basisd Models, Computer Networks, December 1982.Google Scholar
  5. [Diaz2]
    M. Diaz, P. Senac, Synchronization and Multimedia Objects, Technical Report 92437, LAAS, November 1992.Google Scholar
  6. [Diaz3]
    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.Google Scholar
  7. [Diaz4]
    M. Diaz, P. Senac, Time Stream Petri Nets, a Model for Multimedia Streams Synchronization, Proceedings of MMM'93, Singapore, November 1993.Google Scholar
  8. [Hamblin]
    C. L. Hamblin, Instants and Intervals, Proc. 1st Int. Conf. for the study of time, Springer Verlag, J. T. Fraser at al Editors, 1972.Google Scholar
  9. [Little1]
    T. Little, A. Ghafor, Multimedia Synchronization, IEEE Data Engineering September 1991.Google Scholar
  10. [Little2]
    T. Little, A. Ghafor, Synchronization and Storage Models for Multimedia Objects, IEEE Journal on Selected Areas in Communications, 8, (3), April 1990.Google Scholar
  11. [Merlin]
    P. Merlin, A Study of the Recoverability of Computer Systems, Thesis, Computer Science Dept., University of California, Irvine, 1974.Google Scholar
  12. [Murata]
    T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol 77, No 4, April 1989.Google Scholar
  13. [Ramchandani]
    C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Project MAC, TR 120, MIT, February 1974.Google Scholar
  14. [Rust]
    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.Google Scholar
  15. [Senac1]
    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.Google Scholar
  16. [Senac2]
    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.Google Scholar
  17. [Sénac3]
    P. Senac, M. Diaz, The Properties of Structured Time Stream Petri Nets, Technical Report LAAS, April 1994.Google Scholar
  18. [Senac4]
    P. Senac, M. Diaz, P. de Saqui-Sannes, Toward a Formal Specification of Multimedia Synchronization, published in “Annals of Telecommunications”, May/June 1994.Google Scholar
  19. [Walter]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Michel Diaz
    • 1
  • Patrick Sénac
    • 1
    • 2
  1. 1.LAAS du CNRSToulouse CedexFrance
  2. 2.ENSICAToulouse CedexFrance

Personalised recommendations