Enhancement of selective siphon control method for deadlock prevention in FMSs

摘要

One novel control policy named selective siphon control policy is proposed to solve deadlock problems of flexible manufacturing systems. The new policy not only solves the deadlock problem successfully but obtains maximally permissive controllers. According to our awareness, the policy is the first one to achieve the goal of obtaining maximally permissive controllers for all S3PR models in the existing literature. However, one main problem is still needed to be addressed and solved in their algorithm. The problem is that the proposed policy cannot check the exact number of maximal permissive states of a deadlock net in advance. After all iterating steps, the final maximal permissive can then be known. Additionally, all legal markings are still to be checked again and again until all critical markings vanished. In this paper, one computationally improved methodology is proposed to solve the two problems. According to the experimental results, the computational efficiency can be enhanced based on the proposed methodology in this paper.