Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 196514, 6 pages
Research Article

Enhancement of Selective Siphon Control Method for Deadlock Prevention in FMSs

1Department of Avionic Engineering, Airforce Academy, Kaohsiung 802, Taiwan
2Department of Chemical and Materials Engineering, National University of Kaohsiung, Kaohsiung 811, Taiwan
3Department of Electrical Engineering, National Taiwan Ocean University, Keelung 202, Taiwan

Received 20 September 2014; Accepted 12 November 2014

Academic Editor: Stephen D. Prior

Copyright © 2015 Yen-Liang Pan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


One novel control policy named selective siphon control policy is proposed to solve for deadlock problems of flexible manufacturing systems (FMSs). The new policy not only solves the deadlock problem successfully but also 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 (one system of simple sequential processes with resources, S3PR) models in existing literature. However, one main problem is still needed to solve in their algorithm. The problem is that the proposed policy cannot check the exact number of maximally permissive states of a deadlock net in advance. After all iterating steps, the final maximally permissive states 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.