Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/112013
題名: | 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 | 作者: | 趙玉 Chao, Daniel Yuh Yu, Tsung Hsien Liou, Chia Chang |
貢獻者: | 資訊管理學系 | 關鍵詞: | reachability analysis; discrete event systems; Petri nets | 日期: | 2014 | 上傳時間: | 17-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, 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. | 關聯: | Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014,572-577 11th IEEE International Conference on Networking, Sensing and Control, ICNSC 2014; Miami, FL; United States; 7 April 2014 到 9 April 2014; 類別編號CFP14NSC-ART; 代碼 105678 |
資料類型: | conference | DOI: | http://dx.doi.org/10.1109/ICNSC.2014.6819689 |
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.