Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 29, Issue 2, 1999, Pages 192-204

  Wu, Naiqi ^a  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; CONCURRENT ENGINEERING; MATHEMATICAL MODELS; PETRI NETS; REAL TIME SYSTEMS; RESOURCE ALLOCATION; SCHEDULING;

COLORED RESOURCE ORIENTED PETRI NET; CONTROL LAW; DEADLOCK CONTROL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0032630279     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/5326.760564     Document Type: Article

References (28)

1. E. G. Coffman, Jr., M. J. Elphick, and A. Shoshani, "System deadlocks," ACM Comput. Surv., vol. 3, no. 2, pp. 67-78, June 1971.
2. A. N. Habermann, "System deadlocks," in Current Trends in Programming Methodology, K. M. Chandy and R. T. Yeh, Eds. Englewood Cliffs, NJ: Prentice-Hall, 1977, vol. III, pp. 256-297.
3. J. L. Peterson and A. Silberschatz, Operating System Concepts. Reading, MA: Addision-Wesley, 1985.
4. T. Murata, B. Shenker, and S. M. Shatz, "Detection of ada static deadlocks using Petri net invariants," IEEE Trans. Softw. Eng., vol. 15, pp. 314-326, 1989.
5. D. Hauschildt and R. Valk, "Safe states in banker like resource allocation problems," Lecture Notes Comput. Sci., vol. 188, 1985.
6. H. M. Deitel, An Introduction to Operating Systems. Reading, MA: Addision-Wesley, 1983.
7. P. A. Janson, Operating Systems: Structures and Mechanisms. New York: Academic, 1985.
8. J. W. Havender, "Avoiding deadlock in multitasking systems," IBM Syst. J., vol. 7, no. 2, pp. 74-84, 1968.
9. A. N. Habermann, "Prevention of system deadlock," Commun. ACM, vol. 12, no. 7, pp. 373-385.
10. V. D. Gligor and S. H. Shuttuck, "On deadlock detection in distributed systems," IEEE Trans. Softw. Eng., vol. SE-6, no. 5, 1980.
11. E. M. Gold, "Deadlock prediction: Easy and difficult cases," SIAM J. Comput., vol. 7, no. 3, pp. 320-336, 1978.
12. S. Tsutsui and Y. Fujimoto, "Deadlock prevention in process computer systems," Comput. J., vol. 30, no. 1, pp. 20-26, 1987.
13. J. L. Peterson, Petri net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
14. W. Reisig, "Petri nets: An introduction," in EATCS Monograghs on Theoretical Computer Science. Berlin: Springer-Verlag, 1985.
15. J. Sifakis, "Deadlocks and livelocks in transition systems," Math. Foundations Comput. Sci., vol. 88, 1980.
16. 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, 1990.
17. 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 Comput. Sci., vol. 188, pp. 15-32, 1985.
18. Y. Narahari and N. Viswanadham, "A Petri net approach to modeling and analysis of FMS," Ann. Oper. Res., vol. 3, pp. 449-472, 1985.
19. C. L. Beck and B. H. Krogh, "Models for simulation and discrete control of manufacturing systems," in Proc. Int. Conf. Robotics Automat., Apr. 1986, pp. 305-310.
20. M. Kamath and N. Viswanadham, "Application of Petri net based model in the modeling and analysis of flexible manufacturing systems," in Proc. IEEE Conf. Robotics Automat., Apr. 1986, pp. 312-316.
21. M. Zhou and F. DiCesare, "A Petri net design method for automated manufacturing systems with shared resources," in Proc. IEEE Conf. Robotics Automat., 1990, pp. 526-531.
22. _, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Automat., vol. 7, pp. 515-527, 1991.
23. 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, 1990.
24. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
25. H. P. Million and J.-M. Proth, "Performance evaluation of job-shop systems using timed event-graph," IEEE Trans. Automat. Contr., vol. 34, pp. 3-9, 1989.
26. K. Jensen, "Colored Petri nets and the invariant method," Theor. Comput. Sci., vol. 14, pp. 317-336, 1984.
27. N. Viswanadham and Y. Narahari, "Colored Petri net models for automated manufacturing systems," in Proc. 1987 Conf. Robotics Automat., 1987, pp. 1985-1990.
28. S. Laftit, J.-M. Proth, and X.-L. Xie, "Optimization of invariant criteria for event graphs," IEEE Trans. Automat. Contr., vol. 37, pp. 547-555, 1992.