Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/111695
題名: | Closed form formula construction to enumerate control related states of Bottom Left k-net S3PR system (with a Bottom Left side non-sharing resource place) of Petri nets | 作者: | 趙玉 Chao, Daniel Yuh Yu, Tsung Hsien |
貢獻者: | 資管系 | 關鍵詞: | Control systems; Flexible manufacturing systems; Manufacture; Petri nets; Closed form solutions; Closed-form formulae; Marked graphs; Net systems; Order systems; Sequential process; Sharing resources; Side process; Discrete event simulation | 日期: | Jun-2015 | 上傳時間: | 9-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 Bottom Left k-net systems (one non-sharing resource place in the Bottom position of the right-side process, below denoted as Bottom-Left-k-net) with a formula depending on parameter k for a subclass of nets with k sharing resources. © 2015 IEEE. | 關聯: | ICNSC 2015 - 2015 IEEE 12th International Conference on Networking, Sensing and Control, 480-485 | 資料類型: | conference | DOI: | http://dx.doi.org/10.1109/ICNSC.2015.7116084 |
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.