Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/111973
題名: | Parameterized of control related states of Middle Left K-net system (with a nonsharing resource place) of Petri nets | 作者: | 趙玉 Chao, Daniel Yuh Yu, Tsung Hsien |
貢獻者: | 資管系 | 關鍵詞: | Graph theory; control systems; discrete event systems; flexible manufacturing systems; Petri nets | 日期: | 2014 | 上傳時間: | 16-Aug-2017 | 摘要: | Earlier, Chao pioneered the very first closed-form solution of the number of reachable and other states for marked graphs (MG) and k-th order system which is the simplest class of S3PR (Systems of Simple Sequential Processes with Resources). This paper progresses one step further on enumerating reachable, forbidden and live states for Middle Left K-net systems (one nonsharing resource place in the middle position of the left-side process, below denoted as Middle-Left-K-net) with a formula depending on parameter k for a subclass of nets with k sharing resources and μ processes where u and k can be very large. © 2014 IEEE. | 關聯: | CACS 2014 - 2014 International Automatic Control Conference, Conference Digest,11-16 2014 International Automatic Control Conference, CACS 2014; Ambassador HotelKaohsiung; Taiwan; 26 November 2014 到 28 November 2014; 類別編號CFP1423V-ART; 代碼 112081 |
資料類型: | conference | DOI: | http://dx.doi.org/10.1109/CACS.2014.7097154 |
Appears in Collections: | 會議論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
index.html | 209 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.