Resource-oriented Petri net for deadlock avoidance in flexible assembly systems

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 38, Issue 1, 2008, Pages 56-69

  Wu, Naiqi ^a   Zhou, MengChu ^b,c   Li, ZhiWu ^c  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

Assembly systems; Automated manufacturing system; Deadlock avoidance; Flexible manufacturing system; Petri net

Indexed keywords

ASSEMBLY; FLEXIBLE MANUFACTURING SYSTEMS; KETONES; MARINE BIOLOGY; PALLETS; PETRI NETS; PRINTED CIRCUIT BOARDS; RIVETING;

ASSEMBLY SYSTEMS; AUTOMATED MANUFACTURING SYSTEM; DEADLOCK AVOIDANCE; FLEXIBLE MANUFACTURING SYSTEM; PETRI NET;

GRAPH THEORY;

EID: 41149096280     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2007.909542     Document Type: Article

References (36)

1. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
2. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-8044, Dec. 1997.
3. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 171-184, Apr. 1995.
4. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Autom., vol. 13, no. 3, pp. 347-363, Jun. 1997.
5. M. P. Fanti, B. Maione, and B. Turchiano, "Event control for deadlock avoidance in assembly systems," in Proc. IEEE Conf. Syst., Men, Cybern., 1997, pp. 3756-3761.
6. M. P. Fanti, G. Maione, and B. Turchiano, "Design of supervisors to avoid deadlock in flexible assembly systems," Int. J. Flex. Menuf. Syst., vol. 14, pp. 157-175, 2002.
7. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
8. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
9. F.-S. Hsieh, "Fault-tolerant deadlock avoidance algorithm for assembly processes," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 65-79, Jan. 2004.
10. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, UK: Springer, Aug. 2007.
11. C.-C. Lee and J. T. Lin, "Deadlock prediction and avoidance based on Petri nets for zone-control automated guided vehicle systems," Int. J. Prod. Res., vol. 33, no. 12, pp. 3249-3265, 1995.
12. A. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Autom., vol. 15, no. 3, pp. 497-509, Jun. 1999.
13. Z. W. Li, H. S. Hu, and A. R.. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst, Men, Cybern., C, Appl. Rev., vol. 37, no. 4, pp. 517-526, 2007.
14. K. Ohno, Z. Jin, and S. E. Elmaghraby, "An optimal assembly mode of multi-type printed circuit boards," Comput. Ind. Eng., vol. 36, no. 2, pp. 451-471, Apr. 1999.
15. C. Paik and D. Tcha, "Throughput equivalencies in fork/join queueing networks with finite buffers and general service times," Int. J. Prod. Res., vol. 33, no. 3, pp. 695-703, 1995.
16. S. A. Revelotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Autom., vol. 12, no. 6, pp. 845-857, Dec. 1996.
17. S. A. Reveliotis, "Conflict resolution in AGV systems," IIE Trans. vol. 32, no. 7, pp. 647-659, 2000.
18. E. Roszkowska, "Supervisory control for deadlock avoidance in compound processes," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 52-64, Jan. 2004.
19. E. Roszkowska and R. Wojcik, "Problems of process flow feasibility in FAS," in CIM in Process and Manufacturing Industries. Oxford, U.K.: Pergamon, 1993, pp. 115-120.
20. P. Valckenaers, H. V. Brussel, L. Bongaerts, and F. Bonneville, "Programming, scheduling, and control of flexible assembly systems," Comput. Ind., vol. 26, no. 3, pp. 209-218, Aug. 1995.
21. N. Viswanadham and Y. Narahari, "Colored Petri net models for automated manufacturing systems," in Proc. IEEE Int. Conf. Robot. Autom., 1987, pp. 1985-1990.
22. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
23. R. E. Watkins and J. K. Cochran, "A line balancing heuristic case study for existing automated surface mount assembly line setups," Comput. Ird. Eng., vol. 29, no. 1-4, pp. 681-685, Sep. 1995.
24. N. Q. Wu, "Avoiding deadlocks in automated manufacturing systems with shared material handling system," in Proc. IEEE Int. Conf. Robot. Autom., 1997, pp. 2427-2433.
25. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Men, Cybern. C, Appl. Rev., vol. 29, no. 2, pp. 192-204, May 1999.
26. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 657-668, Oct. 2001.
27. N. Q. Wu and M. C. Zhou, "Resource-oriented Petri nets in deadlock avoidance of AGV systems," in Proc. IEEE Int. Conf. Robot. Autom. Seoul, Korea, May 2001, pp. 64-69.
28. N. Q. Wu and M. C. Zhou, "Deadlock avoidance in semiconductor track systems," in Proc. IEEE Int. Conf. Robot. Autom., Washington, DC, May 2002, pp. 193-198.
29. N. Q. Wu and M. C. Zhou, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mechactron., vol. 9, no. 1, pp. 50-57, Mar. 2004.
30. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Autom., vol. 7, no. 6, pp. 853-869, Dec. 1991.
31. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
32. M.-S. Yeh and W.-C. Yeh, "Deadlock prediction and avoidance for zone-control AGVS," Int. J. Prod. Res., vol. 36, no. 10, pp. 2879-2889, Oct. 1998.
33. W. H. R. Yeung and P. R. Moore, "Object-oriented modelling and control of flexible conveyor systems for automated assembly," Mechatronics vol. 6, no. 7, pp. 799-815, Oct. 1996.
34. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
35. M. C. Zhou, F. DiCesare, and A. Desrochers, "A hybrid methodology for synthesis of Petri net models for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
36. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Menufacturing Systems: Petri Net Approach. Singapore: World Scientific, 1998.