dc.contributor | 資管系 | zh_Tw |
dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | Chao, Daniel Yuh | en_US |
dc.creator (作者) | Yu, Tsung Hsien | en_US |
dc.date (日期) | 2014 | en_US |
dc.date.accessioned | 16-Aug-2017 16:55:00 (UTC+8) | - |
dc.date.available | 16-Aug-2017 16:55:00 (UTC+8) | - |
dc.date.issued (上傳時間) | 16-Aug-2017 16:55:00 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/111973 | - |
dc.description.abstract (摘要) | 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. | en_US |
dc.format.extent | 209 bytes | - |
dc.format.mimetype | text/html | - |
dc.relation (關聯) | CACS 2014 - 2014 International Automatic Control Conference, Conference Digest,11-16 | en_US |
dc.relation (關聯) | 2014 International Automatic Control Conference, CACS 2014; Ambassador HotelKaohsiung; Taiwan; 26 November 2014 到 28 November 2014; 類別編號CFP1423V-ART; 代碼 112081 | zh_TW |
dc.subject (關鍵詞) | Graph theory; control systems; discrete event systems; flexible manufacturing systems; Petri nets | en_US |
dc.title (題名) | Parameterized of control related states of Middle Left K-net system (with a nonsharing resource place) of Petri nets | en_US |
dc.type (資料類型) | conference | |
dc.identifier.doi (DOI) | 10.1109/CACS.2014.7097154 | |
dc.doi.uri (DOI) | http://dx.doi.org/10.1109/CACS.2014.7097154 | |