In: Advances in Distributed Multimedia Systems. Eds. S.K.Chang et al., 1999, World Scientific (Singapore), pp.99-116.
Abstract
This paper addresses the problems of specifying synchronization requirements
for real-world size multimedia presentations. In particular, 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 the CoPN model
to multimedia specification is discussed via a number of illustrative examples
of intra- and inter-stream multimedia synchronizations.
This compositional approach enables compact and readable specification of
complex, large-scale specifications while preserving the fine granularity as
well as supporting user interactions. Preliminary results on incorporating the
time stream Petri net (TSPN) in the compositional method for handling
time are discussed. The Petri net tool, called PN3-Tool,
is also presented, which can be applied to verify the correctness of
specifications of multimedia synchronizations in CoPN.