The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

International Journal of Advanced Manufacturing Technology

Volumn 23, Issue 3-4, 2004, Pages 204-219

  Uzam, Murat ^a  

^a NIGDE UNIVERSITY   (Turkey)

Author keywords

Deadlock; Flexible manufacturing systems (FMS); Optimal deadlock prevention; Petri net synthesis; Petri nets; Shared resources

Indexed keywords

COMPUTER SIMULATION; INDUSTRIAL MANAGEMENT; OPTIMAL CONTROL SYSTEMS; PETRI NETS; PROCESS CONTROL; RESOURCE ALLOCATION; SCHEDULING;

OPTIMAL DEADLOCK PREVENTION POLICY; PETRI NET REDUCTION APPROACH; SHARED RESOURCES;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 1542713366     PISSN: 02683768     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00170-002-1526-5     Document Type: Article

References (33)

1. Uzam M (2002) An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19: 192-208
2. Visvanadham N, Nahari Y, Johnson TL (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using petri net models. IEEE Trans Robot Automat 6(6):713-723
3. Banaszak ZA, Krogh BH (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans Robot Automat 6(6):724-734
4. Tat LY, Gwo-Ji S (1993) Resolving deadlocks in flexible manufacturing cells. J Manuf Syst 12(4):291-307
5. Wysk RA, Neng-Shu Y, Sanjay J (1994) Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J Manuf Syst 13(2):128-136
6. Hsieh FS, Chang SC (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Automat 10(2):196-209
7. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11(2):173-184
8. Cho H, Kumaram TK, Wysk RA (1995) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans Robot Automat 11(3):413-421
9. Xing K, Hu B, Chen H (1995) Deadlock avoidance policy for flexible manufacturing systems. In: Zhou MC (ed) Petri nets in flexible and agile automation, Kluwer, Boston pp 239-263
10. Xing K, Hu B, Chen H (1996) Deadlock avoidance policy for petri-net modelling of flexible manufacturing systems with shared resources. IEEE Trans Automat Control 41(2):289-295
11. Fanti MP, Maione B, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Automat 13(3):347-363
12. Lawley M, Reveliotis S, Ferreira P (1997) Design guidelines for deadlock handling strategies in flexible manufacturing systems. Int J Flex Manuf Syst 9(7):5-29
13. Yim D, Kim J, Woo H (1997) Avoidance of deadlocks in flexible manufacturing systems using a capacity designated directed graph. Int J Prod Res 35(9):2459-2475
14. Tricas F, Garcia-Valles F, Colom JM, Ezpelata J (1998) A structural approach to the problem of deadlock prevention in processes with resources. In: Proc. of WODES'98, Italy, pp 273-278, 26-28 August 1998
15. Lawley M, Reveliotis S, Ferreira P (1998) A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans Robot Automat 14:796-809
16. Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a petri net based approach. Int J Adv Manuf Technol 14:704-715
17. Ferrarini L, Marino M (1998) Deadlock avoidance control for manufacturing systems with multiple capacity resources. Int J Adv Manuf Technol 14:729-736
18. Lawley M (1999) Deadlock avoidance for production systems with flexible routing. IEEE Trans Robot Automat 15(3):497-509
19. Tricas F, Garcia-Valles F, Colom JM, Ezpelata J (1998) A structural approach to the problem of deadlock prevention in processes with resources. In: Proc of the 4th WODES'98, pp 273-278, Cagliari, Italy 26-28 August 1998
20. Ramaswamy SE, Joshi SB (1996) Deadlock-free schedules for automated manufacturing workstations. IEEE Trans Robot Automat 12(3):391-400
21. Li Y, Wonham WM (1988) Deadlock issues in supervisory control of discrete event systems. In: Proc of the 1st WODES'88, pp 57-63, Princeton
22. Badouel E, Darondeau P (1998) Theory of Regions. Reisig W, Rozenberg G (eds) Lecture notes in computer science (Lectures on Petri Nets I: Basic Models, Advances in Petri Nets), vol 1491. Springer, Berlin Heidelberg New York, pp 529-586
23. Murata T (1989) Petri nets: properties, analysis and application. In: Proceedings of IEEE 44:541-579
24. Peterson JL (1981) Petri net theory and the modelling of systems. Prentice-Hall, Englewood Cliffs, NJ
25. Lee KH, Favrel J (1985) Hierarchical reduction method for analysis and decomposition of Petri nets. IEEE Trans Syst Man Cybern 15:272-280
26. Silva M (1985) Las Redes de Petri en la Automatica y la Informatica. Editorial AC, Madrid
27. Zhou MC, Jeng MD (1998) Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a petri net approach. IEEE Trans Semicon Manuf 11(3):333-357
28. PN-tools (1987-1996) A Petri net analysis tool, ver. 1.0, Pedagogical University of Rzesów, Poland
29. Notomi M, Murata T (1994) Hierarchical reachability graph of bounded petri nets for concurrent-software analysis. IEEE Trans Soft Eng 20(5):325-336
30. McMillan KL (1996) A technique for state space search based on unfolding. Form Method Syst Des 6(1):45-65
31. Esparza J, Römer S, Vogler W (1996) An improvement of McMillan's unfolding algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems. Passau, Germany, March 1996. Lecture notes in computer science, vol. 1055, Springer, Berlin Heidelberg New York, pp 87-106
32. Heiner M (1997) Verification and Optimization of Control Programs by Petri Nets without State Explosion. In: Proceedings of the 2nd International Workshop on Manufacturing and Petri Nets, a workshop within the 28th International Conference on Application and Theory of Petri Nets, Toulouse, France, 23 June 1997
33. Taubin A, Kondratvey A, Kishinevsky M (1998) Deadlock prevention using petri nets and their unfoldings. Int J Adv Manuf Technol 14:750-759.