Deadlock Resolution Strategy for Automated Manufacturing Systems Including Conjunctive Resource Service

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

Volumn 34, Issue 1, 2004, Pages 80-92

  Fanti, Maria Pia ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

Automated manufacturing systems; Colored timed Petri nets; Deadlock avoidance

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SIPHONS; SYSTEMS ANALYSIS;

AUTOMATED MANUFACTURING SYSTEMS; COLORED TIMED PETRI NETS; DEADLOCK AVOIDANCE;

RESOURCE ALLOCATION;

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

References (31)

1. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol. 6, pp. 724-734, Dec. 1990.
2. H. Cho, T. K. Kumaran, and R. A. Wysk, "Graph-theoretic deadlock detection and resolution for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol. 11, pp. 413-421, June 1995.
3. A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems. Piscataway, NJ: IEEE Press, 1995.
4. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, no. 6, Dec. 1997.
5. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing system," IEEE Trans. Robot. Automat., vol. 11, pp. 173-184, Apr. 1995.
6. J. Ezpeleta and J. M. Colom, "Automatic synthesis of colored Petri net for the control of FMS," IEEE Trans. Robot. Automat., vol. 13, pp. 327-337, June 1997.
7. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for nonsequential resource allocation systems," in Proc. IEEE Int Conf. Syst., Man, Cybern., Tunis, Tunisia, Oct. 2002.
8. M. P. Fanti, B. Maione, G. Piscitelli, and B. Turchiano, "System approach to design generic software for real-time control of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A. vol. 26, pp. 190-202, Mar. 1996.
9. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robot. Automat., vol. 13, pp. 347-363, June 1997.
10. M. P. Fanti, B. Maione, and B. Turchiano, "Deadlock avoidance in flexible production systems with multiple capacity resources," Studies in Inform. Contr., vol. 7, no. 4, pp. 343-364, 1998.
11. M. P. Fanti, G. Maione, and B. Turchiano, "Design of supervisors to avoid deadlock in flexible assembly systems," Int. J. Flexible Manuf. Syst., vol. 14, pp. 157-175, 2002.
12. K. Feldmann and A. W. Colombo, "Material flow and control sequence specification of flexible systems using colored Petri nets," Int. J. Adv. Manuf. Technol., vol. 14, pp. 760-774, 1998.
13. F. Harary, R. Z. Norman, and D. Cartwright, Structural Models: An Introduction to the Theory of Directed Graphs. New York: Wiley, 1965.
14. F. Hsieh, "Reconfigurable fault tolerant deadlock avoidance controller synthesis for assembly processes," in Proc. 2000 IEEE Int Conf. Systems, Man, Cybernetics, 2000, pp. 3045-3050.
15. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing system," IEEE Trans. Robot. Automat., vol. 10, pp. 196-209, Apr. 1994.
16. K. Jensen, Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use. New York: Springer-Verlag, 1992, vol. 1.
17. Z. Jiang, M. J. Zho, R. Y. K. Fung, and P. Y. Tu, "Temporized colored Petri nets with changeable structure (CPN-CS) for performance modeling of dynamic production systems," Int. J. Prod. Res., vol. 38, no. 8, pp. 1917-1945, 2000.
18. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Trans. Automat. Contr., vol. 14, pp. 796-809, May 1998.
19. M. A. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Automat., vol. 15, pp. 1-13, June 1999.
20. N. A. Lynch, Distributed Algorithms. New York: Morgan Kaufmann, 1997.
21. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Contr., vol. 46, pp. 1572-1583, Oct. 2001.
22. _, "Liveness-enforcing supervision of resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Automat., vol. 18, pp. 234-239, Apr. 2002.
23. E. M. Reingold, J. Nievergelt, and N. Deo, Combinatorial Algorithms: Theory and Practice. Englewood Cliffs, NJ: Prentice-Hall, 1997.
24. S. A. Reveliotis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 845-857, Dec. 1996.
25. S. A. Reveliotis, M. A. Lawely, and P. M. Ferreira, "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Automat. Contr., vol. 42, pp. 1344-1357, Oct. 1997.
26. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol. 6, pp. 713-723. Dec. 1990.
27. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing cells," IEEE Trans. Robot. Automat., vol. 7, pp. 853-859, Dec. 1991.
28. N. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using colored Petri net model, " IEEE Trans. Systems, Man, Cybern. C, vol. 29, pp. 192-204, May 1999.
29. N. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Automat., vol. 17, pp. 657-668, Oct. 2001.
30. 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. Automat. Contr., vol. 41, pp. 289-295, Feb. 1996.
31. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.