Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons

Journal of Intelligent Manufacturing

Volumn 21, Issue 4, 2010, Pages 555-567

  Hu, Hesuan ^a   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Automated manufacturing systems; Deadlock prevention; Liveness enforcing supervision; Petri nets

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; CONTROL APPROACH; DEADLOCK PREVENTION; ELEMENTARY SIPHON; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; INCIDENCE MATRICES; LIVENESS; LIVENESS-ENFORCING SUPERVISOR; PETRI-NET MODELING; PLANT SYSTEMS; STRICT MINIMAL SIPHON; SYNTHESIS TECHNIQUES;

AUTOMATION; DENSE WAVELENGTH DIVISION MULTIPLEXING; GRAPH THEORY; MANUFACTURE; MATHEMATICAL PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; PRODUCTION ENGINEERING; SUPERVISORY PERSONNEL;

SIPHONS;

EID: 77955644993     PISSN: 09565515     EISSN: 15728145     Source Type: Journal    
DOI: 10.1007/s10845-009-0238-1     Document Type: Article

References (25)

1. I.B. Abdallah H.A. ElMaraghy 1998 Deadlock prevention and avoidance in FMS: A Petri net based approach International Journal of Advanced Manufacturing Technology 14 10 704 715 10.1007/BF01438223
2. Barkaoui, K., Chaoui, A., & Zouari, B. (1997). Supervisory control of discrete event systems based on structure theory of Petri nets. In Proceedings of IEEE Conference on Systems, Man, and Cybernetics, Paris, France (pp. 3750-3755).
3. Barkaoui, K., & Peyre, J. F. (1996). On liveness and controlled siphons in Petri nets. In J. Billington & W. Reisig (Eds.), Proceedings of International Conference on Application and Theory of Petri Nets, Lecture notes in computer science (Vol. 1091, pp. 57-72). Berlin: Springer.
4. 2 IET Control Theory and Applications 1 4 933 936 10.1049/iet-cta:20060275 (Pubitemid 46990248)
5. F. Chu X.L. Xie 1997 Deadlock analysis of Petri nets using siphons and mathematical programming IEEE Transactions on Robotics and Automation 13 6 793 804 10.1109/70.650158
6. J. Ezpeleta J.M. Colom J. Martínez 1995 A Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Transactions on Robotics and Automation 11 2 173 184 10.1109/70.370500
7. S. Hsieh Y.-J. Shih 1992 Automated guided vehicle systems and their Petri-net properties Journal of Intelligent Manufacturing 3 6 379 390 10.1007/BF01473533
8. Hu, H. S., & Li, Z. W. (2009). Liveness enforcing supervision in video streaming systems using siphons. Journal of Information Science and Engineering (to appear).
9. Y.S. Huang M.D. Jeng X.L. Xie D.H. Chung 2006 Siphon-based deadlock prevention policy for flexible manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics-Part A 36 6 1248 1256 10.1109/TSMCA.2006.878953 (Pubitemid 44680571)
10. M.V. Iordache P.J. Antsakis 2003 Design of T-liveness enforcing supervisors in Petri nets IEEE Transactions on Automatic Control 48 11 1962 1974 10.1109/TAC.2003.819078
11. M.D. Jeng C.S. Lin Y.S. Huang 1999 Petri net dynamics-based scheduling of flexible manufacturing systems with assembly Journal of Intelligent Manufacturing 10 6 541 555 10.1023/A:1008960721370 (Pubitemid 30556505)
12. M.D. Jeng X.L. Xie 1999 Analysis of modularly composed nets by siphons IEEE Transactions on Systems, Man and Cybernetics 29 4 299 406
13. Lautenbach, K., & Ridder, H. (1996). The linear algebra of deadlock avoidance-a Petri net approach. University Koblenz, Institue of Computer Science, Germany, Technical Report, 1996.
14. Z.W. Li M.C. Zhou 2004 Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems IEEE Transactions on Systems, Man and Cybernetics-Part A 34 1 38 51 10.1109/TSMCA.2003.820576
15. K.B. Misra U. Sharma 1991 An efficient algorithm to solve integer-programming problems arising in system-reliability design IEEE Transactions on Reliablility 40 1 81 91 10.1109/24.75341
16. J.O. Moody P.J. Antsaklis 2000 Petri net supervisors for DES with uncontrollable and unobservable transitions IEEE Transactions on Automatic Control 45 3 462 476 10.1109/9.847725
17. T. Murata 1989 Petri nets: Properties, analysis and application Proceedings of IEEE 77 4 541 579 10.1109/5.24143
18. Ohta, A., & Tsuji, A. (2003). Insufficiently marked siphon of Petri nets-extension of token-free siphon. In Proceedings of IEEE International Symposium on Circuits and Systems (pp. III244-III244), Bangkok, Thailand, 2003.
19. J. Park S.A. Reveliotis 2001 Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings IEEE Transactions on Automatic Control 46 10 1572 1583 10.1109/9.956052 (Pubitemid 33018223)
20. Reveliotis S.A. (2003) On the siphon-based characterization of liveness in sequential resource allocation systems. In: van der Aalst W.M.P., Best E. (eds) Proceedings of International Conference on Application and Theory of Petri Nets, Lecture notes in computer science (Vol. 2679). Springer, Berlin, pp 241-255
21. Souissi Y. (1991) On liveness preservation by composition of nets via a set of places. In: Goos G., Hartmanis J. (eds) Advances in Petri nets Lecture notes in computer science (Vol. 542). Springer, Berlin, pp 277-295
22. Tricas, F., Colom, J. M., & Ezpeleta, J. (1999). A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. In Proceedings of the 11th Europe Simulation Symposium (pp. 542-546), Erlangen, Germany.
23. Tricas, F., García-Vallés, F., Colom, J. M., & Ezpeleta, J. (2005). A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. In Proceedings of International Conference on Robotics and Automation (pp. 272-278), Barcelona, Spain.
24. M. Uzam M.C. Zhou 2006 An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems International Journal of Production Research 44 10 1987 2030 10.1080/00207540500431321 (Pubitemid 43860503)
25. K.Y. Xing B.S. Hu H. Chen 1996 Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources IEEE Transactions on Automatic Control 41 2 289 295 10.1109/9.481550