English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 91280/121421 (75%)
Visitors : 25401248      Online Users : 223
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
    政大機構典藏 > 商學院 > 資訊管理學系 > 會議論文 >  Item 140.119/112490
    Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/112490

    Title: Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Left
    Authors: 游宗憲
    Yu, Tsung Hsien
    Contributors: 資管系
    Date: 2016-12
    Issue Date: 2017-09-01 10:07:21 (UTC+8)
    Abstract: Previously, Chao pioneered the very first closed-form solution of the number of Control Related States for a k-th order system, by which formulas the number of each type of states in a particular and large Petri net can be enumerated in real-time and the possibility of launching a partial deadlock prevention/avoidance policy can be realized according to the indicator of the real-time derived future deadlock ratio. After the closed-form solution research on the Gen-Left system, this paper progresses one step further in constructing the closed-form solution for the Gen-Right system using the concept of 'proof by model' of the Gen-Left system, which is a more efficient and theoretical knowledge-based analysis methodology compared to siphon net structure analysis and of which basis is the validated information of its reverse net. Due to the closed-form solution of Gen-Left and Gen-Right, we can complete the decision-making of the non-sharing resource allocation loading balance of the whole variant k-th order system and applying the solution of Gen-Left and Gen-Right a simple deadlock avoidance function algorithm is introduced in this paper.
    Relation: IECON Proceedings (Industrial Electronics Conference), 276-281
    Data Type: conference
    DOI 連結: http://dx.doi.org/10.1109/IECON.2016.7794100
    DOI: 10.1109/IECON.2016.7794100
    Appears in Collections:[資訊管理學系] 會議論文

    Files in This Item:

    File Description SizeFormat

    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