1. NCCU Academic Hub
  2. 學術產出
  3. College of Commerce
  4. Proceedings
  5. Item

學術產出-Proceedings

Article View/Open

Publication Export

Google ScholarTM

政大圖書館

Citation Infomation

題名 Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Left
作者 游宗憲
Yu, Tsung Hsien
貢獻者 資管系
日期 2016-12
上傳時間 1-Sep-2017 10:07:21 (UTC+8)
摘要 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.
關聯 IECON Proceedings (Industrial Electronics Conference), 276-281
資料類型 conference
DOI http://dx.doi.org/10.1109/IECON.2016.7794100
dc.contributor 資管系
dc.creator (作者) 游宗憲zh_TW
dc.creator (作者) Yu, Tsung Hsienen_US
dc.date (日期) 2016-12
dc.date.accessioned 1-Sep-2017 10:07:21 (UTC+8)-
dc.date.available 1-Sep-2017 10:07:21 (UTC+8)-
dc.date.issued (上傳時間) 1-Sep-2017 10:07:21 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/112490-
dc.description.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.
dc.format.extent 210 bytes-
dc.format.mimetype text/html-
dc.relation (關聯) IECON Proceedings (Industrial Electronics Conference), 276-281en_US
dc.title (題名) Parameterized of Control Related States of Gen-Right k-th order system of Petri nets based on proof by model of Gen-Leften_US
dc.type (資料類型) conference
dc.identifier.doi (DOI) 10.1109/IECON.2016.7794100
dc.doi.uri (DOI) http://dx.doi.org/10.1109/IECON.2016.7794100