General mixed integer programming-based liveness test for system of sequential systems with shared resources nets

IET Control Theory and Applications

Volumn 4, Issue 12, 2010, Pages 2867-2878

  Liu, G ^a   Li, Z ^a,b  

^a XIDIAN UNIVERSITY   (China)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLABILITY CONDITION; DETECTION APPROACH; EXISTING METHOD; EXPERIMENTAL STUDIES; FEASIBLE SOLUTION; LIVENESS; MIXED-INTEGER PROGRAMMING; PETRI NET MODELS; SEQUENTIAL SYSTEMS; SHARED RESOURCES;

CONTROLLABILITY; DIAMONDS; ELECTRIC DIPOLE MOMENTS; ELECTRIC DISCHARGE MACHINING; FLEXIBLE MANUFACTURING SYSTEMS; INTEGER PROGRAMMING; PETRI NETS;

SIPHONS;

EID: 78650781232     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta.2009.0557     Document Type: Article

References (27)

1. Fanti, M.P., and Zhou, M.C.: ' Deadlock control methods in automated manufacturing systems ', IEEE Trans. Syst. Man and Cybern. A, 2004, 34, (1), p. 5-22 10.1109/TSMCA.2003.820590
2. Abdallah, I.B., and ElMaraghy, H.A.: ' Deadlock prevention and avoidance in FMS: a Petri net based approach ', Int. J. Adv. Manuf. Technol., 1998, 14, (10), p. 704-715 10.1007/BF01438223 0268-3768
3. Chu, F., and Xie, X.L.: ' Deadlock analysis of Petri nets using siphons and mathematical programming ', IEEE Trans. Robot. Autom., 1997, 13, (6), p. 793-804 10.1109/70.650158 1042-296X
4. Ezpeleta, J., García-Vallés, F., and Colom, J.M.: ' A class of well structured Petri nets for flexible manufacturing systems ', Proc. 19th Int. Conf. Applied Theory of Petri Nets, Portugal, 1998, p. 64-83
5. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 11, (2), p. 173-184 10.1109/70.370500 1042-296X
6. Tsuji, K., and Murata, T.: ' On reachability conditions for unrestricted Petri nets ', Proc. IEEE Int. Symp. on Circuits and Systems, 1993, p. 2713-2716
7. Lautenbach, K.: ' Linear algebraic calculation of deadlocks and traps ', Voss, K., Genrich, H.J., Rozenberg, G., Concurrency and nets, (Springer-Verlag, New York, 1987), p. 315-336
8. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, S.: ' Deadlock prevention based on Petri nets and siphons ', Int. J. Prod. Res., 2001, 39, (2), p. 283-305 10.1080/00207540010002405 0020-7543 (Pubitemid 35165680)
9. Basile, F., Chiacchio, P., Giua, A., and Seatzu, C.: ' Deadlock recovery of Petri net models controlled using observers ', Proc. Eighth IEEE Int. Conf. on Emerging Technologies and Factory Automation, 2001, p. 441-449
10. 2PR Petri nets ', Proc. Sixth Int. Work on Discrete Event System, WODES'02, 2002, p. 55-60
11. Park, J., and Reveliotis, S.A.: ' Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings ', IEEE Trans. Autom. Control, 2001, 46, (10), p. 1572-1583 10.1109/9.956052 0018-9286 (Pubitemid 33018223)
12. Tricas, F., García-Vallés, F., Colom, J.M., and Eapeleta, J.: ' A Petri net structure-based deadlock prevention solution for sequential resource allocation systems ', Proc. IEEE Int. Conf. on Robotics and Automation, 2005, p. 271-277
13. Zhao, M., Li, Z.W., and Hu, H.S.: ' Suboptimal liveness-enforcing supervisor design for a class of generalized Petri nets using partial siphon enumeration and mathematical programming ', Int. J. Syst. Sci., 2010, 41, (9), p. 1013-1026 10.1080/00207720903171779 0020-7721
14. 2 ', IET Control Theory Appl., 2007, 1, (4), p. 933-936 10.1049/iet-cta:20060275 (Pubitemid 46990248)
15. 2 ', Proc. 16th ISPE Int. Conf. on Concurrent Engineering, 2009), p. 41-52
16. Liu, G.Y., Li, Z.W., and Zhong, C.F.: ' A new controllability condition for siphons in a class of generalized Petri nets ', IET Control Theory Appl., 2010, 4, (5), p. 854-864 10.1049/iet-cta.2009.0264
17. Li, Z.W., and Zhou, M.C.: ' Two-stage method to design livenessenforcing Petri net supervisor for FMS ', IEEE Trans. Ind. Inf., 2006, 2, (4), p. 313-325 10.1109/TII.2006.885185 (Pubitemid 44837072)
18. Murata, T.: ' Petri nets: properties, analysis, and applications ', Proc. IEEE, 1989, 77, (4), p. 541-580 10.1109/5.24143 0018-9219
19. Tricas, F., García-Vallès, F., Colom, J.M., and Ezpeleta, J.: ' An iterative method for deadlock prevention in FMSs ', Proc. Fifth Workshop on Discrete Event Systems, 2000, p. 139-148
20. Li, Z.W., and Zhou, M.C.: ' Deadlock resolution in automated manufacturing systems: a novel Petri net approach ', (Springer Press, 2009)
21. Krogh, B.H., Willson, R., and Pathak, D.: ' Automated generation and evaluation of control programs for discrete manufacturing processes ', Int. Conf. Computer Integrated Manufacturing, 1988, p. 92-99
22. Starke, P.H.: ' INA: integrated net analyzer ', 2003, http://www2.informatik.hu-berlin.de/~starke/ina.html
23. Chao, D.Y.: ' Direct minimal empty siphon computation using MIP ', Int. J. Adv. Manuf. Technol., 2009, 45, (3-4), p. 397-405 10.1007/s00170-009-1967-1 0268-3768
24. Barkaoui, K., and Pradat-Peyre, J.F.: ' On liveness and controlled siphons in Petri nets ', Proc. 17th Int. Conf. Applied Theory of Petri Nets, Lecture Notes in Computer Science, 1996, p. 57-72
25. Li, Z.W., and Liu, D.: ' A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net ', Int. J. Prod. Res., 2007, 45, (9), p. 2161-2165 10.1080/00207540500464942 0020-7543 (Pubitemid 46433018)
26. Zhong, C.F., and Li, Z.W.: ' A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models ', Eng. Comput., 2009, 25, (3), p. 269-278 10.1007/s00366-008-0122-1
27. LINGO: 'Premier optimization modeling tools', http://www.lingo.com/, accessed October 2009