In: Proc. The First IEEE Annual Conference on Emerging Technologies and Application in Communication, Portland, OR, USA, pages 38-41. May 1996.
Abstract: In this paper we propose a compositional Petri net model, called CoPN, for multimedia synchronization specification. The salient features of this model, including macroplaces and PN entities, are presented and the application of the CoPN model to multimedia synchronization is discussed via some simple examples. This compositional approach enables the compact and readable specification of complex, large-scale specifications while preserving the fine granuality as well as supporting user interaction.