[1]
|
Fanti M P, Zhou M. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 2004, 34(1): 5-22
|
[2]
|
Huang Y S, Pan Y L. Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. The International Journal of Advanced Manufacturing Technology, 2010, 48(5-8): 725-737
|
[3]
|
Chao D Y. Minimal strict siphons extraction for S3PMR. Journal of the Chinese Institute of Engineers, 2010, 33(7): 995-1004
|
[4]
|
Hu H S, Li Z W. Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 2010, 21(4): 555-567
|
[5]
|
Li Z W, Zhou M C. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer, 2009
|
[6]
|
Ezpeleta J, Colom J M, Martinez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 1995, 11(2): 173-184
|
[7]
|
Li Z, Zhang J, Zhao M. Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems. IET Control Theory and Applications, 2007, 1(4): 955-967
|
[8]
|
Park J, Reveliotis S A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control, 2001, 46(10): 1572-1583
|
[9]
|
Abdallah I B, Elmaraghy H A. Deadlock prevention and avoidance in FMS: a Petri net based approach. The International Journal of Advanced Manufacturing Technology, 1998, 14(10): 704-715
|
[10]
|
Chao D Y. Max'-controlled siphons for liveness of S3PGR2. IET Control Theory and Applications, 2007, 1(4): 933-936
|
[11]
|
Liu G, Li Z, Zhong C. New controllability condition for siphons in a class of generalised Petri nets. IET Control Theory and Applications, 2010, 4(5): 854-864
|
[12]
|
Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4): 541-580
|
[13]
|
Zhong C F, Li Z W. Self-liveness of a class of Petri net models for flexible manufacturing systems. IET Control Theory and Applications, 2010, 4(3): 403-410
|
[14]
|
Zhong C F, Li Z W. A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models. Engineering with Computers, 2009, 25(3): 269-278
|
[15]
|
Li Z W, Zhou M C, Wu N Q. A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 2008, 38(2): 173-188
|
[16]
|
Zhao M, Hou Y F, Liu D. Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming. International Journal of Control, 2010, 83(10): 2053-2066
|
[17]
|
Zhao M, Li Z W, Hu H S. Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. International Journal of Systems Science, 2010, 41(9): 1013-1026
|
[18]
|
Shih Y Y, Chao D Y, Chiu C C. A new MIP test for S3PGR2. In: Proceedings of the 16th ISPE International Conference on Concurrent Engineering. New York: Springer, 2009. 41-52
|
[19]
|
Liu G, Li Z. General mixed integer programming-based liveness test for system of sequential systems with shared resources nets. IET Control Theory and Applications, 2010, 4(12): 2867-2878
|