Modular modeling and analyzing of multimedia documents with repetitive objects

In this paper, we introduce a framework allowing to model and analyze SMIL documents in their temporal aspects. We offer a modular modeling which comes with a natural translation to Time Recursive Petri Nets (Time RPN). The modeling we propose consists in successive and inductive translation of SMIL objects, including complex repetitive ones.We illustrate the compactness of the proposed Time RPN models. The reachability analysis of Time RPN allows to verify the temporal consistency properties of SMIL documents. Furthermore, our model can be used to define scheduling policies.