TOWARD A FORMAL SPECIFICATION OF MULTIMEDIA SYNCHRONIZATION SCENARIOS

This paper introduces time stream Petri nets (TS treamPN), a model for the formal specification of multimedia synchronization scenarios. Thi s new model extends time Petri nets to formally describe the timed beh aviour of multimedia objects and streams in asynchronous distributed s ystems. The proposed approach uses time intervals to label the arcs ex iting from the places of the net, and typed transitions to define diff erent firing rules. This model allows a complete and accurate specific ation of synchronization constraints between multimedia streams and ca n be used at different levels of granularity.