頁籤選單縮合
題名 | Synchronization Models for Interactive Multimedia Presentations Using Timed Petri Nets= |
---|---|
作者 | Jeng,Mu Der; Wen,Yuan Lin; |
期刊 | 資管評論 |
出版日期 | 20001200 |
卷期 | 10 2000.12[民89.12] |
頁次 | 頁61-85 |
分類號 | 312 |
語文 | eng |
關鍵詞 | Multimedia; Multimedia synchronization; Timed petri nets; Synthesis technique; |
英文摘要 | 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 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. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。