Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/112013
DC Field | Value | Language |
---|---|---|
dc.contributor | 資訊管理學系 | zh_Tw |
dc.creator | 趙玉 | zh_TW |
dc.creator | Chao, Daniel Yuh | zh_TW |
dc.creator | Yu, Tsung Hsien | zh_TW |
dc.creator | Liou, Chia Chang | zh_TW |
dc.date | 2014 | en_US |
dc.date.accessioned | 2017-08-17T07:10:02Z | - |
dc.date.available | 2017-08-17T07:10:02Z | - |
dc.date.issued | 2017-08-17T07:10:02Z | - |
dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/112013 | - |
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, live and deadlock) states for top k-th order systems (one non-sharing resource place in the bottom position of the left-side process, below denoted as Bottom-Left ) with a formula depending on parameter k for a subclass of nets with k sharing resources. | en_US |
dc.format.extent | 210 bytes | - |
dc.format.mimetype | text/html | - |
dc.relation | Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014,572-577 | en_US |
dc.relation | 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014; Miami, FL; United States; 7 April 2014 到 9 April 2014; 類別編號CFP14NSC-ART; 代碼 105678 | en_US |
dc.subject | reachability analysis; discrete event systems; Petri nets | en_US |
dc.title | Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets | en_US |
dc.type | conference | |
dc.identifier.doi | 10.1109/ICNSC.2014.6819689 | |
dc.doi.uri | http://dx.doi.org/10.1109/ICNSC.2014.6819689 | |
item.openairetype | conference | - |
item.fulltext | With Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.grantfulltext | open | - |
item.cerifentitytype | Publications | - |
Appears in Collections: | 會議論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
index.html | 210 B | HTML2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.