A siphon-based deadlock prevention policy for flexible manufacturing systems

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2005, Pages 2530-2535

  Huang, Yi Sheng ^a   Lin, Jenn Huei ^a   Lin, Jyh Tsong ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

Deadlock; Manufacturing systems; Petri nets; Siphon

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; PETRI NETS;

DEADLOCK; MANUFACTURING SYSTEMS; SIPHON;

ALGORITHMS;

EID: 27944489897     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. K. Barkaoui, and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," in Proc. IEEE Symp. Emerging Technologies for Factory Automation, pp.499-510, Oct.1995.
2. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. on Robotics and Automation, vol. 13, pp. 793-804, Dec. 1997.
3. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. on Robotics and Automation, vol. 11, pp. 173-184, Apr. 1995.
4. M. P. Fanti, G. Maione, Saverio Mascolo and B. Turchiano, "Event-Based Feedback Control for Deadlock Avoidance in Flexible Production Systems," IEEE Trans. on Robotics and Automation, vol. 13, pp. 347-363, Jun. 1997.
5. 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, pp. 196-209, Apr. 1994.
6. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, " A deadlock Prevention Policy Based on Petri nets and Siphons," International Journal of Production Research, vol. 39, pp. 283-305, 2001.
7. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "A Deadlock Prevention Policy for Flexible Manufacturing Systems by Siphons," in Proc. IEEE Int. Conf. Robotics Automation, Seoul, Korea, 2001, pp.541-546.
8. Y. S. Huang and M. D. Jeng, "An algorithm of deadlock prevention for flexible manufacturing systems," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, Oct. 2002, pp. 168-173.
9. 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, pp. 59-68, Feb. 2002.
10. M. V. Iordache and P. J. Antsaklis, "Design of T-Liveness Enforcing Supervisors in Petri nets", IEEE Trans. on Automatic Control, vol. 48, pp. 1962-1974, Nov. 2003.
11. M. D. Jeng and X. L. Xie, " Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Man, and Cybern., part A, vol. 29, pp. 399-406, Jul. 1999.
12. Z. W. Li and M. C. Zhou, "Elementary Siphons of Petri nets and their Application to Deadlock Prevention in Flexible Manufacturing Systems," IEEE Trans. on Syst., Man, and Cybern., part A, vol. 34, pp.38-56, Jan. 2004.
13. J. Park and S. A. Reveliotis, "Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems," IEEE Trans. on Robotics and Automation, vol. 16, no. 2, pp. 190-195, Apr. 2000.
14. J. Park and S. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings", IEEE Trans. Automatic Control, vol. 46, pp. 1572-1583, Oct. 2001.
15. Murata T., Petri nets: properties, analysis and application", Proc. IEEE, vol. 77, pp. 541-579, Apr. 1989.
16. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources", Proc. of the 4th Workshop on Discrete Event Systems, pp. 272-278, 1998.
17. N. Viswanadham, Y. Narahari, and T. L. Johnson, " Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. on Robotics and Automation, vol. 6, pp. 713-723, Dec. 1990.
18. M. Uzam, "An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions" The International Journal of Advanced Manufacturing Technology, vol. 19, no. 3, pp. 192-208, Feb. 2002.
19. M. Uzam, "The Use of Petri Net Reduction Approach for an Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems," The International Journal of Advanced Manufacturing Technology, vol. 23, numbers 3-4, pp. 204-219, Feb. 2004.
20. M. C. Zhou and M. D. Jeng, "Modeling analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach," IEEE Trans. on Semiconductor. Manufacturing, vol. 11, pp. 333-357, Aug. 1998.