| dc.contributor | 國立政治大學資訊管理學系 | en_US |
| dc.contributor | 行政院國家科學委員會 | en_US |
| dc.creator (作者) | 趙玉 | zh_TW |
| dc.date (日期) | 2011 | en_US |
| dc.date.accessioned | 30-Aug-2012 15:49:00 (UTC+8) | - |
| dc.date.available | 30-Aug-2012 15:49:00 (UTC+8) | - |
| dc.date.issued (上傳時間) | 30-Aug-2012 15:49:00 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/53427 | - |
| dc.description.abstract (摘要) | 彈性製造系統（FMS）患有死鎖否定自動化的優點。為了防止死鎖的發生，監視器（招致硬件成本）往往添加到虹吸管使他們總是有足夠標記。原Petri網模型被干擾以致一些好的狀態不再可以實現的。最大許可和使用最少的監控的最佳合成控制器一直是一個熱門的競賽。李和周提出簡單的Petri網控制器將可空虹吸管分為兩組：基本和依賴性，只對基本信標增加監視器。在先前的文章中，我們發現，在所有2依賴虹吸管（取決於兩個基本信標），只有一個虹吸管需要被控制，增加了監測。這大大簡化了合成以及顯示器的數量降到最低要求，同時使控制網達到最大許可。這一建議擴展到n的依賴虹吸管, n >2。初步，我們努力表明，在所有相關的N虹吸依賴虹吸秒，只有一台顯示器（初始標識等於在S總記號減 1，進一步減額M0（r）= 1的總數）是必需的，並確定了相應的虹吸管。這不僅降低了增加的顯示器硬件成本和簡化了結構複雜，而且也便於識別的設計需要一個虹吸監控每個 n-依賴的虹吸管。此外，它藉由最大允許的方式加入每個監視器維持最大的行為許可。 | en_US |
| dc.description.abstract (摘要) | Flexible Manufacturing System (FMS) suffers from deadlocks negating the advantages of automation. To prevent deadlocks from occurring, monitors (incurring hardware cost) are often added to siphons for them to be always sufficiently marked. The original Petri net model gets disturbed and some good states are no longer attainable. It has been a hot race to synthesize optimal controllers to be maximally permissive and using fewest monitors. Li and Zhou propose simpler Petri net controllers by dividing emptiable siphons into two groups: elementary and dependent and adding monitors for elementary siphons only. In an earlier paper, we showed that among all 2-dependent siphons (depending on two elementary siphons), only one siphon needs to be controlled by adding a monitor. This greatly simplifies the synthesis as well as minimizes the number of monitors required while making the control net maximally permissive. This proposal extends the result to n-dependent siphons with n>2. Preliminarily, we strive to show that among all siphons associated with an n-dependent siphon S, only one monitor (with initial marking equals the total number of tokens in S minus 1 and further minus the total number of resource places r with M0(r)=1)is required and identified the corresponding emptiable siphon. This not only reduces the hardware cost of adding monitors and simplifies the structural complexity, but also facilitates the design by identifying the siphon that needs a monitor for each n-dependent siphon. In addition, it maintains the behavior permissiveness by adding each monitor in a maximally permissive manner. | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | 基礎研究 | en_US |
| dc.relation (關聯) | 學術補助 | en_US |
| dc.relation (關聯) | 研究期間:10008~ 10107 | en_US |
| dc.relation (關聯) | 研究經費:310仟元 | en_US |
| dc.subject (關鍵詞) | 虹吸管 | en_US |
| dc.title (題名) | S3PR的N-依賴虹吸管的可控性 | en_US |
| dc.title.alternative (其他題名) | Controllability of N-Dependent Siphons in an S3pr | en_US |
| dc.type (資料類型) | report | en |
