A modular approach for deadlock avoidance in FMS

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 4646-4651

  Piroddi, Luigi ^b   Ferrarini, Luca ^a,b  

^a IEEE   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LOAD; PETRI NET MODELS; SIPHON CONTROL;

COMPUTATIONAL METHODS; CONTROL EQUIPMENT; MATHEMATICAL MODELS; PETRI NETS;

COMPUTER SYSTEM RECOVERY;

EID: 33845951836     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582895     Document Type: Conference Paper

References (22)

1. Z. Banaszak, and B. H. Krogh, "Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows," IEEE Trans. on Robotics and Automation, vol. 6, n. 6, pp. 724-734, 1990.
2. J. Epzeleta, J.-M. Colom, and J. Martinez, "A PN Based Deadlock Prevention Policy for Flexible Manufacturing Systems," IEEE Trans. on Robotics and Automation, vol. 11, n. 2, p. 173, 1995.
3. M. P. Fanti and M. C. Zhou, "Deadlock Control Methods in Automated Manufacturing Systems," IEEE Trans. on Systems, Man, and Cybernetics - Part A, vol. 34, n. 1, pp. 5-22, 2004.
4. L. Ferrarini, and M. Maroni, "Deadlock Avoidance Control For Manufacturing Systems With Multiple Capacity Resources," Int. J. of Advanced Manufacturing Technology, Special Issue on PNs and Manufacturing Systems, vol. 16, n. 1, August 1998.
5. L. Ferrarini, and L, Piroddi, "Modeling and control of transporting systems in batch processes with multiple aggregated resources," IEEE Int. Symposium on Intelligent Control, Mexico City, Mexico, September 2001, pp. 258-263.
6. L. Ferrarini, and L. Piroddi, "Automatic Synthesis of Multiple Place Resource Models with Petri Nets," American Control Conference, Boston, USA, 2004, pp. 5096-5101.
7. F.-S. Hsieh, and S.-C. Chang, "Dispatching-Driven Deadlock Avoidance Controller Synthesis for Flexible Manufacturing Systems," IEEE Trans. on Robotics and Automation, vol. 10, n. 2, p. 196, 1994.
8. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of Deadlock Prevention Supervisors Using Petri Nets," IEEE Trans. on Robotics and Automation, vol. 18, n. 1, pp. 59-68, 2002.
9. J. O. Moody, K. Yamalidou, M. D. Lemmon, and P. J. Antsaklis, "Feedback Control of PNs based on place invariants," Proc. of the 33rd IEEE Conf. on Decision and Control, vol. 3, Lake Buena Vista (FL), USA, 1994, pp. 3104-3109.
10. T. Murata, "PNs: properties, analysis and application," Proc. of the IEEE, vol. 77, n. 4, pp. 541-580, 1989.
11. J. Park, and S. A. Reveliotis, "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings," IEEE Trans. on Automatic Control, vol. 46, n. 10, pp. 1572-1583, 2001.
12. J. L. Peterson, Petri net theory and the modeling of systems, Prentice Hall International, 1981.
13. S. E. Ramaswamy, and S. B. Joshi, "Deadlock-Free Schedules for Automated Manufacturing Workstations," IEEE Trans. on Robotics and Automation, vol. 12, n. 3, p. 391, 1996.
14. S. A. Reveliotis, and P. M. Ferreira, "Deadlock Avoidance Policies for Automated Manufacturing Cells," IEEE Trans. on Robotics and Automation, vol. 12, n. 6, pp. 845-857, 1996.
15. A. S. Tanenbaum, Modern Operating Systems, Prentice Hall International, 1992.
16. th IFAC World Congress, Beijing, P. R. China, 1999, pp. 397-402.
17. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using PN Models," IEEE Trans. on Robotics and Automation, vol. 6, n. 6, p. 713, 1990.
18. R. A. Wysk, N.-S. Yang, and S. B. Joshi, "Resolution of Deadlocks in Flexible Manufacturing Systems: Avoidance and Recovery Approaches," J. of Manufacturing Systems, vol. 13, n. 2, p. 128, 1994.
19. K.-Y. King, B.-S. Hu, and H.-X. Chen, "Deadlock Avoidance Policy for Petri-Net Modeling of Flexible Manufacturing Systems with Shared Resources," IEEE Trans. on Automatic Control, vol. 41, n. 2, p. 289, 1996.
20. K. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, "Feedback Control of PNs based on place invariants," Automatica, vol. 32, n. 1, pp. 15-28, 1996.
21. M. C. Zhou, and F. DiCesare, "Petri Net Modeling of Buffers in Automated Manufacturing Systems," IEEE Trans. on Systems, Man and Cybernetics, vol. 26, n. 1, pp. 157-164, 1996.
22. M. C. Zhou, and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems. A Petri Net Approach, World Scientific Publishing, 1998.