Application of Critical-Siphon Theory to Fastest Deadlock Controller for a Class of Flexible Manufacturing Systems

Abstract:

We developed theory to show exactly one monitor is required for the set of siphons in the family of a 2-compound siphons and how to assign its initial markings. This avoids redundant monitors and the unnecessary associated computational burden. Neither reachability graph nor minimal siphon needs to be computed achieving polynomial complexity---essential for large systems. This paper redevelops the theory more formally and further applies this approach to two well-known S3PR to obtain a controller full or near maximally permissive.

• Periodical: Advanced Materials Research (Volumes 605-607)
• Pages: 1679-1682
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.605-607.1679
• Online since: December 2012
• Authors: Johannes K. Chiang, Daniel Yuh Chao
• Keywords: Deadlock Prevention, Petri Net, Siphon

References

[1] Ezpeleta, J., J.M. Colom, and J. Martinez, A Petri net based deadlock prevention policy for flexible manufacturing systems. Robotics and Automation, IEEE Transactions on, 1995. 11(2): pp.173-184.

DOI: 10.1109/70.370500

[2] Li, Z.W. and M.C. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, 2004. 34(1): pp.38-51.

DOI: 10.1109/tsmca.2003.820576

[3] Li, Z. and D. Liu, A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. International journal of production research, 2007. 45(9): pp.2161-2165.

DOI: 10.1080/00207540500464942

[4] Uzam, M. and M. Zhou, An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International journal of production research, 2006. 44(10): pp.1987-2030.

DOI: 10.1080/00207540500431321

[5] Huang, Y.S. and Y.L. Pan, Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. The International Journal of Advanced Manufacturing Technology, 2010. 48(5): pp.725-737.

DOI: 10.1007/s00170-009-2299-x

[6] Li, Z., M.C. Zhou, and M.D. Jeng, A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. Automation Science and Engineering, IEEE Transactions on, 2008. 5(1): pp.182-188.

DOI: 10.1109/tase.2006.884674

[7] Shih, Y.Y. and D. Chao, Sequence of Control in S3PMR. The Computer Journal, 2010. 53(10): pp.1691-1703.

DOI: 10.1093/comjnl/bxp081

[8] Chao, D.Y., Reaching more states for control of FMS. International journal of production research, 2010. 48(4): pp.1217-1220.

DOI: 10.1080/00207540701747210