Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets

OR Spectrum

Volumn 29, Issue 3, 2007, Pages 421-443

  Wu, Naiqi ^a   Zhou, Mengchu ^b  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing systems; Colored timed resource oriented Petri net; Deadlock; Deadlock free scheduling

Indexed keywords

EID: 34249664951     PISSN: 01716468     EISSN: 14366304     Source Type: Journal    
DOI: 10.1007/s00291-006-0046-3     Document Type: Article

References (22)

1. Coffman EG Jr, Elphick MJ, Shoshani A (1972) System deadlocks. ACM Comput Surv 3(2): 67-78
2. Cormen T, Leiserson C, Rivest R (1994) Introduction to algorithms. McGraw-Hill, New York
3. Fanti MP, Maione B, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Autom 13:347-363
4. Jeng MD, Chen SC (1998) A heuristic search approach using approximate solutions of Petri net state equations for scheduling flexible manufacturing systems. Int J Flex Manuf Syst 10(2)
5. Johri PK (1993) Practical issues in scheduling and dispatching in semiconductor wafer fabrication. J Manuf Syst 12:74-485
6. Kim CO, Kim SS (1997) An effective real-time deadlock-free control for automated manufacturing systems, Int J Prod Res 35(6): 1545-1560
7. Lawley MA (1999) Deadlock avoidance for production systems with flexible routing. IEEE Trans Robot Autom 15(3):497-509
8. Lawley M, Reveliotis S, Ferreira P (1998) A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans Robot Autom 14:796-809
9. Lee DY, DiCesare F (1994) Scheduling flexible manufacturing system using Petri nets and heuristic search, IEEE Trans Robot Autom 10(2): 123-132
10. Murata T (1989) Petri nets: properties, analysis, and application, Proc IEEE 77:541-579
11. Reveliotis SA, Ferreira PM (1996) Deadlock avoidance policies for automated manufacturing cells. IEEE Trans Robot Autom 12(6):845-857
12. Reveliotis SA, Lawley M, Ferreira P (1997) Polynomial complexity deadlock avoidance policies for sequential resource allocation systems, IEEE Trans Automat Contr 42:1344-1357
13. Roszkowska E, Jentink J (1993) Minimal restrictive deadlock avoidance in AMS, In: Proceedings of the 2nd European Control Conference ECC '93, Groningen, pp 530-534
14. Wu NQ (1997) Avoiding deadlocks in automated manufacturing systems with shared material handling system. In: Proceedings of the 1997 IEEE International Conference on Robotics and Automation, Albuquerque, pp 2427-2433
15. Wu NQ (1999) Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Trans Syst Man Cybern Part C Appl Rev 29(2): 192-204
16. Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems, IEEE Trans Robot Autom 17(5):658-669
17. Wysk RA, Yang NS, Joshi S (1991) Detection of deadlocks in flexible manufacturing cells, IEEE Trans Robot Autom 7(6):853-859
18. Xing KY, Hu BS, Chen HX (1996) Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Trans Automat Contr 41(2):289-295
19. Yoon HJ, Lee DY (2001) Identification of potential deadlock set in semiconductor track systems. In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, Seoul, 1820-1825
20. Yoon HJ, Lee DY (2004) Deadlock-free scheduling of photolithography equipment in semiconductor fabrication. IEEE Trans Semicond Manuf 17(1):42-54
21. Zhou MC, DiCesare F (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans Robot Autom 18(3):350-361
22. Zhou MC, Venkatesh K (1998) Modeling, simulation and control of flexible manufacturing systems: Petri net approach. World Scientific, Singapore