Resource-oriented Petri nets for deadlock avoidance in automated manufacturing

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 4, Issue , 2000, Pages 3377-3382

  Wu, Naiqi ^a   Zhou, MengChu ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; DEADLOCK AVOIDANCE; RESOURCE ORIENTED PETRI NETS;

CONTROL SYSTEMS; FACTORY AUTOMATION; FAILURE ANALYSIS; INDUSTRIAL MANAGEMENT; MATHEMATICAL MODELS; PETRI NETS; PRODUCTION CONTROL; PRODUCTIVITY; RESOURCE ALLOCATION;

COMPUTER AIDED MANUFACTURING;

EID: 0033691985     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. H. Alla, P. Ladet, J. Martinez, and M. Silva, "Modeling and validation of complex systems by colored Petri nets: Application to an FMS," Lecture Notes in Computer Science, vol. 188, 1985.
2. Y. Narahari and N. Viswanadham, "A Petri net approach to modeling and analysis of FMS," Annals of Operations Research, vol. 3, pp. 449-472, 1985.
3. L. Beck and B. H. Krogh, "Models for simulation and discrete control of manufacturing systems," in Proc. Int. Conf Robotics Automat., April 1986. pp. 305-310.
4. M. Kamath and N. Viswanadham, "Application of Petri net based model in the modeling and analysis of flexible manufacturing systems," in Proc. 1986 IEEE Conf. Robotics Automat., April 1986, pp. 312-316
5. M. Zhou and F. DiCesare, "A Petri net design method for automated manufacturing systems with shared resources," in Proc. 1990 IEEE Conf Robotics Automat., 1990, pp. 526-531.
6. M. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. on Rob. &Aut., 7,515-527,1991.
7. M. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems",IEEE Trans. On Robotics & Aut., 18,350-361, 1992.
8. 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, 11, 173-184,1995.
9. 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, no. 6, pp. 713-723, 1990.
10. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. on Robotics and Automation, vol. 7, no. 6, pp. 853-859, 1991.
11. T. Murata, B. Shenker, and S. M. Shatz, "Detection of ada static deadlocks using Petri net invariants," IEEE Transactions on Software Engineering, vol. 15, no. 3, 1989.
12. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trams on Robotics and Aut., 6, pp. 724-734, 1990.
13. F. Hsieh and S. Chang, " Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. on Robotics and Automation, vol. 10, no. 2, 196-209, 1994.
14. O. Kim and S. S. Kim, "An effective real-time dead1ock;free control Jor automated manufacturing systems ", Intenational Joumal of Production Research, vol. 35, no. 6, 1545-1560, 1997.
15. S. A. Revelotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells", IEEE Trans. on Robotics and Automation, vol. 12, no. 6, 845-857, 1996.
16. P. F. Maria and M. Bruno, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. on Robotics and Automation, vol. 13, no. 3, 374-363, 1997.
17. K. Y. Xing, et al., "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. on Aut. Control, 41(2), 289-295, 1996.
18. J. D. C. Little, "A proof for the queueing formula L = λw", Operations Research, vol. 9, no. 3, 1961.
19. N. Q. Wu, "Necessary and sufficient conditions for deadlockfree operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. on Systems, Man. And Cybernetics, Part C, vol. 29, no. 2, pp. 192-204, 1999.
20. N. Q. Wu, "Avoiding deadlocks in automated manufacturing systems with shared material handling system," in Proc. of 1997 IEEE Int. Conf. on Rob. and Aut., 1997, pp. 2427-2433.
21. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 11, no. 4, pp. 541 -580, 1989.
22. H. P. Hillion and J-M. Proth, "Performance evaluation ofjob-shop systems using timed event-graph," IEEE Transacfions on Automatic Control, vol. 34, no. 1, pp. 149-154,1989.
23. S. Laftit, J.-M. Proth, and X.-L. Xie, "Optimization of invariant criteria for event graphs," IEEE Transactions on Automntic Control, vol. 37, no. 5, pp. 547-555, 1992.
24. K. Jensen, "Coloured Petri nets and the invariant method," Beoretical Computer Science, vol. 14, pp. 31 7-336, 1984.
25. N. Viswanadham and Y. Narahari, "Coloured Petri net models for automated manufacturing systems," in Proc. 1987 Conf: Robotics Automat., 1987, pp. 1985-1990.
26. Wu, N. and M. C. Zhou, "Avoiding Deadlock and Reducing Starvation and Blocking in Automated Manufacturing Systems Based on a Petri Net Model," Working paper, April 1999.