Synchronization models for pre-orchestrated interactive multimedia presentations using timed Petri nets

In an interactive multimedia presentation system, the user is allowed to manipulate the presentation sequence such as to repeat a sub-sequence, choose a sequence branch, change the playing speed, and reverse the playing sequence via keyboard, mouse or program. In this paper, we propose multimedia synchronization models based on timed Petri nets, called object slice Petri nets. A systematic synthesis method based on an extension of the knitting technique is used for our scenario synthesis. Deadlock-free dynamic scenario nets are also proposed