Deadlock Prevention Policy for Flexible Manufacturing Systems Based on the Theory of Regions
博士 === 國防大學理工學院 === 國防科學研究所 === 99 === Deadlock prevention problem is an important issue in essence for flexible manufacturing systems (FMS). Many works make efforts in the issue. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
2011
|
Online Access: | http://ndltd.ncl.edu.tw/handle/06053096554812762687 |
Summary: | 博士 === 國防大學理工學院 === 國防科學研究所 === 99 === Deadlock prevention problem is an important issue in essence for flexible manufacturing systems (FMS). Many works make efforts in the issue. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a Marking/Transition-Separation Instance (MTSI). However, obtaining them is an extremely time consuming problem. This work proposes crucial marking/transition-separation instances (CMTSIs) that allow designers to employ much fewer MTSIs to deal with deadlocks. The advantage of the proposed policy is that an optimal deadlock controller can be obtained with drastically reduced computation. Experimental results, by varying the markings of given net structures, indicate that it is the most efficient policy to obtain such controllers.
|
---|