A Computationally Improved Control Policy for FMS Using Crucial Marking/Transition-Separation Instances
Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to solve the deadlock problems of Flexible Manufacturing Systems (FMS). The theory of regions has been recognized as the unique method for obtaining maximally permissive 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 all sets of MTSIs is an extremely time consuming problem. This work proposes Crucial Marking/Transition-Separation Instances (CMTSIs) that allow designers to employ few MTSIs to deal with deadlocks. The advantage of the proposed policy is that a maximally permissive 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 optimal controllers among existing methods based on the theory of regions.