| dc.contributor | 資管系 | en_US |
| dc.creator (作者) | 趙玉 | zh_TW |
| dc.creator (作者) | Chao,Daniel Yuh | - |
| dc.date (日期) | 2013.03 | en_US |
| dc.date.accessioned | 9-Apr-2014 16:37:43 (UTC+8) | - |
| dc.date.available | 9-Apr-2014 16:37:43 (UTC+8) | - |
| dc.date.issued (上傳時間) | 9-Apr-2014 16:37:43 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/65225 | - |
| dc.description.abstract (摘要) | Unmarked siphons in a Petri net modelling concurrent systems such as those in cloud computing induce deadlocks. The number of siphons grows exponentially with the size of a net. This problem can be relieved by computing compound (or strongly dependent) siphons based on basic siphons. A basic (resp. compound) siphon can be synthesized from an elementary (resp. compound called alternating) resource circuit. It however cannot be extended to cases where two elementary circuits intersect at a directed path rather than a single place (i.e., corresponding to a weakly dependent siphon). This paper develops a uniform formula not only for both cases but also valid for the complementary set of siphon and characteristic vectors. We further propose to generalize it to a compound siphon consisting of n basic siphons. This helps simplify the computation and the computer implementation to shorten the program size. Also, the formula is easier to be memorized without consulting the references due to the same underlying physics. | en_US |
| dc.format.extent | 495472 bytes | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | Journal of Intelligent Manufacturing, Published online: 24 March 2013 | en_US |
| dc.subject (關鍵詞) | Petri nets; Deadlocks; Supervisory control; Flexible manufacturing systems (FMS); Concurrent systems | - |
| dc.title (題名) | Uniform Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors in Deadlock Prevention of Flexible Manufacturing Systems | en_US |
| dc.type (資料類型) | article | en |
