| dc.creator (作者) | 趙玉;Jose A. Nicdao | zh_TW |
| dc.date (日期) | 2004 | en_US |
| dc.date.accessioned | 17-Jan-2009 16:34:33 (UTC+8) | - |
| dc.date.available | 17-Jan-2009 16:34:33 (UTC+8) | - |
| dc.date.issued (上傳時間) | 17-Jan-2009 16:34:33 (UTC+8) | - |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/27353 | - |
| dc.description.abstract (摘要) | Unlike traditional classification by output conditions of places, synchronized choice nets (SNCs) were defined as a new class of nets where all first-order structures (FOSs) are symmetric. SNCs are extended to deal with nets with asymmetric first-order structures (AFOSs). A subclass called extended SNCs (ESNCs) can be converted to a general Petri net, called a weighted SNC (WSNC). A WSNC is an SNC if all its arc weights are one. We apply existing theory to check if a WSNC is structural live and bounded. If it is, we derive the sufficient and necessary marking condition (the weighted marking $W(M_0)>0$) for liveness. Thus, it is live when invariant-controlled. We then enhance it in three aspects and apply it to flexible manufacturing systems with resource sharing. Extensions to ESNCs are also discussed. | en_US |
| dc.format | application/ | en_US |
| dc.language | en | en_US |
| dc.language | en-US | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | Computer Journal, 46(5), 505-523 | en_US |
| dc.title (題名) | Extended Synchronized choice Nets | en_US |
| dc.type (資料類型) | article | en |
| dc.identifier.doi (DOI) | 10.1093/comjnl/46.5.505 | en_US |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1093/comjnl/46.5.505 | en_US |
