Time stream petri nets a model for timed multimedia information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 815 LNCS, Issue , 1994, Pages 219-238

  Diaz, Michel ^a   Srnac, Patrick ^b  

^a LAAS CNRS   (France)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUDIO SYSTEMS; MULTIMEDIA SYSTEMS; SYNCHRONIZATION;

AUDIO AND VIDEO; EXTENSION OF TIME; INFORMATION STREAMS; MULTIMEDIA INFORMATION; MULTIMEDIA STREAM; RESEARCH COLLABORATIONS; SYNCHRONIZATION CONSTRAINTS; TEMPORAL BEHAVIOUR;

PETRI NETS;

EID: 84983168495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58152-9_13     Document Type: Conference Paper

References (19)

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