In: Kiyoharu Aizawa, Yuichi Nakamura, Shin'ichi Satoh (Eds.): Lecture Notes in Computer Science, Vol. 3333: Advances in Multimedia Information Processing - PCM 2004: 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, pages 273-281. Springer-Verlag, 2004.
Abstract: This paper presents a formal approach for the design of SMIL documents into a language based on time Petri net (ATN: Algebraic Time Net). The obtained ATN's model is then translated to an equivalent time graph, which describes all possible scenario, and gives for each multimedia sub sequence its minimum and maximum durations. This can be used to guarantee a consistent presentation for the client player and to improve the multimedia server's QoS, by implementing a dynamic scheduling politics.