政大學術集成


請使用永久網址來引用或連結此文件: https://ah.nccu.edu.tw/handle/140.119/100243


題名: Synchronization Models for Interactive Multimedia Presentations Using Timed Petri Nets
作者: Jeng, Mu-Der;Wen, Yuan-Lin
關鍵詞: Multimedia;Multimedia Synchronization;Timed Petri Nets;Synthesis Technique
日期: 2000-12
上傳時間: 2016-08-16 15:08:47 (UTC+8)
摘要: 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.
關聯: 資管評論, 10, 61-85
MIS review
資料類型: article
顯示於類別:[資管評論] 期刊論文

文件中的檔案:

檔案 描述 大小格式瀏覽次數
10-61-85.pdf1310KbAdobe PDF259檢視/開啟


在學術集成中所有的資料項目都受到原著作權保護.


社群 sharing