dc.creator (作者) | 趙玉 | zh_TW |
dc.creator (作者) | Chao,Daniel Yuh | - |
dc.date (日期) | 2005-12 | en_US |
dc.date.accessioned | 17-Jan-2009 15:59:35 (UTC+8) | - |
dc.date.available | 17-Jan-2009 15:59:35 (UTC+8) | - |
dc.date.issued (上傳時間) | 17-Jan-2009 15:59:35 (UTC+8) | - |
dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/26984 | - |
dc.description.abstract (摘要) | A new local structure called a second-order structure was proposed to generate a new class of nets called synchronized choice nets (SNC). SNC covers well-behaved free choice nets. Reachability is no longer P-Space hard problem, but can be solved with polynomial time complexity. How to extend them to non-SNC and its application to deadlock detection in flexible manufacturing systems are discussed. | - |
dc.format | application/ | en_US |
dc.language | en | en_US |
dc.language | en-US | en_US |
dc.language.iso | en_US | - |
dc.relation (關聯) | IEEE transactions on systems, man, and cybernetics.Part B,35(6), 1203-1213 | en_US |
dc.title (題名) | Reachability of Non-Synchronized Choice Petri Nets and Its Applications | en_US |
dc.type (資料類型) | article | en |
dc.identifier.doi (DOI) | 10.1109/TSMCB.2005.850171 | en_US |
dc.doi.uri (DOI) | http://dx.doi.org/10.1109/TSMCB.2005.850171 | en_US |