[1] LI Z W, ZHANG J, ZHAO M. Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems [J]. IET Control Theory and Applications, 2007, 1(4): 955-967.
[2] WYSK R A, YANG N S, JOSHI S. Detection of deadlocks in flexible manufacturing cells [J]. IEEE Transactions on Robotics and Automation, 1991, 7(6): 853-859.
[3] PARK J, REVELIOTIS S A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routing [J]. IEEE Transactions on Automatic Control, 2001, 46(10): 1572-1583.
[4] ABDALLAH I B, ELMARAGHY H A. Deadlock prevention and avoidance in FMS: a Petri net based approach [J]. International Journal of Advanced Manufacturing Technology, 1998, 14(10): 704-715.
[5] EZPELETA J, COLOM J M, MARTINEZ J. A Petri net based deadlock prevention policy for flexible manufacturing systems [J]. IEEE Transactions on Robotics and Automation, 1995, 11(2):173-184.
[6] TRICAS F, GARCIA V F, COLOM J M, et al. A Petri net structure–based deadlock prevention solution for sequential resource allocation systems[C]∥Proceedings of the 2005 IEEE International Conference on Robotics and Automation. Barcelona: IEEE, 2005:271-277.
[7] LI Zhi-wu, ZHOU Meng-chu. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems [J]. IEEE Transactions on Systems, Man and Cybernetics, Part A, 2004, 34(1): 3851.[8] CHU Feng, XIE Xiao-lan. Deadlock analysis of Petri nets using siphons and mathematical programming [J]. IEEE Transactions on Robotics and Automation, 1997, 13(6):793-804.
[9] HUANG Yi-sheng, JENG M, XIE Xiao-lan, et al. Deadlock prevention policy based on Petri nets and siphons [J]. International Journal of Production Research, 2001, 39(2): 283-305.
[10] LI Zhi-wu, LIU Ding. A correct minimal siphons extraction algorithm form a maximal unmarked siphon of a Petri net [J]. International Journal of Production Research, 2007, 45(9):2161-2165.
[11] LI Zhi-wu, ZHOU Meng-chu. On siphon computation for deadlock control in a class of Petri nets [J]. IEEE Transactions on Systems, Man and Cybernetics, Part A, 2008, 38(3):667-679.
[12] WANG Shou-guang, WANG Cheng-ying, YU Yang-ping. A method of computing strict minimal siphons in an S3PR based on resource circuits [C]∥49th IEEE Conference on Decision and Control. Atlanta: IEEE, 2010: 2785-2790.
[13] CANO E E, ROVETTO C A, COLOM J M. On the computation of the minimal siphons of S4PR nets from a generating family of siphons[C]∥2010 IEEE Conference on Emerging Technologies and Factory Automation. Bilbao: IEEE, 2010:18.
[14] MURATA T. Petri nets: properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4):541-580.
[15] 吴哲辉.Petri网导论[M].北京:机械工业出版社, 2006:141.
[16] IORDACHE M V, MOODY J O, ANTSAKLIS P J. Synthesis of deadlock prevention supervisors using Petri nets [J]. IEEE Transactions on Robotics and Automation, 2002, 18(1): 59-68.
[17] TRICAS F, EZPELETA J. Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution [J]. IEEE Transactions on Systems, Man and Cybernetics, Part A, 2006, 36(3): 532-539.
[18] TRICAS F, COLOM J M, EZPELETA J. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming [C]∥Proceedings of the 11th European Simulation Symposium. Erlangen: [s. n.], 1999:542-546.
[19] 肖位枢.图论及其算法[M].北京:航空工业出版社,1993,34-37. |