ASIA unversity:Item 310904400/4775
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 93288/109022 (86%)
造訪人次 : 20901021      線上人數 : 269
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋


    題名: Reduction Methods for Real-Time Systems using Delay Time Petri Nets
    作者: Jeffrey J. P. Tsai;. Juan T. Murata;Y. Zhou
    日期: 2001-03
    上傳時間: 2009-12-02 09:04:09 (UTC+8)
    出版者: Asia University
    摘要: We present a new net-reduction methodology to facilitate the analysis of real-time systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques for reducing the state-explosion problem of Petri nets. However, the application of net reduction to current timed-extensions of Petri nets (such as Merlin's Time PNs) is very limited due to the difficulty faced in the preservation of timing constraints. To overcome this problem, we introduce DTPNs which are inspired by Merlin's (1976) Time PNs, Senac's (1994) Hierarchical Time Stream PNs, and Little's (1991) Timed PNs. We show that DTPNs are much more suitable for net reduction. Then, we present a new set of DTPN reduction rules for the analysis of schedule and deadlock analysis. Our work is distinct from the others since our goal is to analyze real-time systems and the reduction methods we propose preserve both timing properties (schedule) and deadlock. To evaluate our framework, we have implemented an automated analysis tool whose main functions include net reduction and class-graph generation. The experimental results show that our net-reduction methodology leads to a significant contribution to the efficient analysis of real-time systems
    關聯: IEEE Transactions on Software Engineering 27(5):422-448
    顯示於類別:[生物資訊與醫學工程學系 ] 期刊論文


    檔案 描述 大小格式瀏覽次數
    310904400-4775.doc34KbMicrosoft Word257檢視/開啟


    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回饋