Title :
A compositional approach to the specification of multimedia objects using Petri nets
Author :
Anisimov, Nikolay A. ; Kovalenko, A.A. ; Postupalski, Pavel A. ; Vuong, Son T.
Author_Institution :
Acad. of Sci., Russia
Abstract :
We propose a compositional Petri net model, called CoPN, for multimedia synchronization specifications. The salient features of this model, including macroplaces and PN entities, are presented and the application of the CoPN model to multimedia synchronization specification is discussed via some simple examples. This compositional approach enables the compact and readable specification of complex, large-scale specifications while preserving the fine granularity as well as supporting user interactions
Keywords :
Petri nets; graphical user interfaces; multimedia communication; synchronisation; telecommunication computing; CoPN; PN entities; compositional Petri net model; large-scale specifications; macroplaces; multimedia communication; multimedia objects specification; multimedia synchronization specifications; user interactions; Large-scale systems; Multimedia communication; Petri nets; Streaming media;
Conference_Titel :
Emerging Technologies and Applications in Communications, 1996. Proceedings., First Annual Conference on
Conference_Location :
Portland, OR
Print_ISBN :
0-8186-7585-3
DOI :
10.1109/ETACOM.1996.502473
