English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 94001/124455 (76%)
Visitors : 29059285      Online Users : 232
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/3988

    Title: 協同派翠網路之工具及擴充
    Other Titles: Tool and Extension on Synchronized Choice Nets
    Authors: 趙玉
    Keywords: 同步選擇網路;派曲網;死結;合成;驗證;存活性;電腦輔助繪圖
    Synchronized choice net;Petri net;Deadlock;Synthesis;Verification;Liveness;Computer aided drawing (CAD)
    Date: 2000
    Issue Date: 2007-04-18 16:40:15 (UTC+8)
    Publisher: 臺北市:國立政治大學資訊管理學系
    Abstract: 吾人進一步發展出新DCOM 元件可建構結構矩陣及最大發展協同派翠網路之成分可用於分析。
    We develop a DCOM component to construct S-Matrix and maximal SNC component for analysis. We have developed an efficient technique to find all bad siphons in an incremental fashion and applied to FMS deadlock-prevention with resource-sharing.
    Description: 核定金額:315800元
    Data Type: report
    Appears in Collections:[資訊管理學系] 國科會研究計畫

    Files in This Item:

    File Description SizeFormat
    892213E004009.pdf34KbAdobe PDF944View/Open

    All items in 政大典藏 are protected by copyright, with all rights reserved.

    社群 sharing

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