Please use this identifier to cite or link to this item:

Title: Synchronization Models for Interactive Multimedia Presentations Using Timed Petri Nets
Authors: Jeng, Mu-Der;Wen, Yuan-Lin
Keywords: Multimedia;Multimedia Synchronization;Timed Petri Nets;Synthesis Technique
Date: 2000-12
Issue Date: 2016-08-16 15:08:47 (UTC+8)
Abstract: In an interactive multimedia presentation system the user should be 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 through the keyboard, mouse or program. The synchronization scheme should also allow the user to modify the sequence of the presentation dynamically. This paper presents a formal model that describes synchronization behaviors in multimedia systems, called Object Slice Petri Nets (OSPN). Since an OSPN representing a real-world multimedia scenario, may develop a very complex behavior whose qualitative properties are difficult to verify with reasonably computational cost, a systematic synthesis method based on an extension of the knitting technique is used for macro level scenario synthesis. The goal is to synthesize well-behaved nets. In this paper, deadlock-free Macro-level OSPNs classified into static and dynamic scenario nets are proposed and analyzed.
Relation: 資管評論, 10, 61-85
MIS review
Data Type: article
Appears in Collections:[資管評論] 期刊論文

Files in This Item:

File Description SizeFormat
10-61-85.pdf1310KbAdobe PDF267View/Open

All items in 學術集成 are protected by copyright, with all rights reserved.

社群 sharing