Abstract
One novel control policy named selective siphon control policy [1] is proposed to solve deadlock problems in flexible manufacturing systems (FMSs). The novel policy not only solves the deadlock problem successfully but obtains maximally permissive controllers. In existing literature, the policy is the first one to achieve the goal of obtaining maximally permissive controllers for all Systems of Simple Sequential Processes with Resources (S3PR) models. However, 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 can then be known. Additionally, all legal markings still to be checked again and again until all critical markings vanished. In this work, one computationally improved supervisory control methodology is proposed to solve the two problems. Experimental results show that the proposed methodology is practical and better than existing literatures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Piroddi, L., Cordone, R., & Fumagalli, I. (2008). Selective siphon control for deadlock Prevention in Petri Nets. IEEE Transaction on Systems, Man, and Cybernatics, Part A: Systems and Humans, 38, 1337–1348.
Ezpeleta, J., Colom, J. M., & Martinez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 1, 173–184.
Huang, Y. S., Jeng, M. D., Xie, X. L., & Chung, S. L. (2001). A deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research, 39, 283–305.
Li, Z. W., & Zhou, M. C. (2004). Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transaction on Systems, Man, and Cybernatics, Part A: Systems and Humans, 34, 38–51.
Murata, G. T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77, 541–580.
Huang, Y. S., Pan, Y. L., & Zhou, M. C. (2012). Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Transaction on Systems, Man, and Cybernatics, Part A: Systems and Humans, 42, 404–415.
Pan, Y. L. (2012). A computationally improved optimal solution for deadlocked problem of flexible manufacturing systems using theory of regions. Petri Nets—Manufacturing and Computer Science (Chap. 3, pp. 51–74). InTech. (ISBN 978-953-51-0700-2).
Abdallah, I. B., & ElMaraghy, H. A. (1998). Deadlock prevention and avoidance in FMS: A petri net based approach. International Journal of Advanced Manufacturing Technology, 14, 704–715.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Pan, YL., Yang, CC., Jeng, MD., Liao, WH. (2014). Computationally Improved Optimal Supervisory Control Policy for FMSs Using Petri Nets. In: Juang, J., Chen, CY., Yang, CF. (eds) Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013). Lecture Notes in Electrical Engineering, vol 293. Springer, Cham. https://doi.org/10.1007/978-3-319-04573-3_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-04573-3_45
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04572-6
Online ISBN: 978-3-319-04573-3
eBook Packages: EngineeringEngineering (R0)