Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models

IEEE Transactions on Robotics and Automation

Volumn 6, Issue 6, 1990, Pages 713-723

  Viswanadham, N ^a   Narahari, Y ^a   Johnson, Timothy L ^a  

^a NONE

Author keywords

deadlock avoidance; deadlock prevention; Flexible manufacturing system (FMS); General Electric FMS; Petri Net models

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; COMPUTER PROGRAMS; CONTROL SYSTEMS - APPLICATIONS; MATHEMATICAL TECHNIQUES - PETRI NETS;

DEADLOCK AVOIDANCE; DEADLOCK PREVENTION; PETRI NET MODELS; PETRI-NET BASED ONLINE CONTROLLER; REACHABILITY GRAPH;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0025671258     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.63257     Document Type: Letter

References (22)

1. Y.C. Ho, “Performance evaluation and perturbation analysis of discrete event dynamic systems,” IEEE Trans. Automat. Contr., vol. AC-32, no. 7, pp. 563–472, July 1987.
2. E.G. Coffman, Jr., M.J. Elphick, and A. Shoshani, “System deadlocks,” ACM Comput. Surveys, vol. 3, no. 2, pp. 67–78, June 1971.
3. A.N. Habermann, “System deadlocks,” in Current Trends in Programming Methodology, Vol. III (K.M. Chandy and R.T. Yeh, Eds.). Englewood Cliffs, NJ: Prentice-Hall, 1977, pp. 256–297.
4. J.L. Peterson and A. Silberschatz, Operating System Concepts. Reading, MA: Addison-Wesley, 1985 (2nd ed.).
5. Y. Narahari and N. Viswanadham, “A Petri net approach to modelling and analysis of flexible manufacturing systems,” Annals Oper. Res., vol. 3, pp. 449–472, 1985.
6. H. Alla, P. Ladet, J. Martinez, and M. Silva, “Modelling and validation of complex systems by Petri nets: Application to FMS,” in Lecture Notes in Computer Science, Vol. 188. New York: Springer-Verlag, 1985, pp. 15–32.
7. M. Kamath and N. Viswanadham, “Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems,” in Proc. 1986 IEEE Conf. Robotics Automat., Apr. 1986, pp. 312–316.
8. J. Martinez, H. Alla, and M. Silva, “Petri nets for specification of FMS's,” in Modelling and Design of FMS (A. Kusiak (Ed.)). New York: Elsevier, 1986, pp. 389–406.
9. E.S. Acree and M.L. Smith, “Simulation of a flexible manufacturing system—Application of computer operating system techniques,” in Proc. 18th IEEE Simulation Symp., Mar. 1985, pp. 205–216.
10. J.L. Peterson, Petri net Theory and the Modelling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
11. W. Reisig, “Petri nets: An introduction,” in EATCS Monographs on Theoretical Computer Science. Berlin: Springer-Verlag, 1985.
12. N. Viswanadham and Y. Narahari, “Coloured Petri net models for automated manufacturing systems,” in Proc. 1987 IEEE Int. Conf. Robotics Automat., Mar.-Apr. 1987, pp. 1985–1990.
13. Y. Narahari, “Petri net-based techniques for modelling, analysis, and performance evaluation,” Doctoral dissertation, Dept. Comput. Sci. Automat., Indian Inst. Sci., Bangalore, India, July 1987.
14. 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.
15. T. Murata, “Modelling and Analysis of Concurrent Systems,” in Handbook of Software Engineering (C.R. Vick and C.V. Ramamoorty Eds.). New York: Van Nostrand Reinhold, 1984, pp. 39–63.
16. M.A. Marsan, O. Balbo, and G. Conte, “A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems,” ACM Trans. Computer Systems, vol. 2, no. 2, pp. 93–122, May 1984.
17. J.B. Dugan, K.S. Trivedi, R.M. Geist, and V.F. Nicola, “Extended Stochastic Petri Nets: Applications and analysis,” in Proc. Performance ′84 (Paris, France), Dec. 1984, pp. 507–519.
18. N. Viswanadham, Y. Narahari, and T.L. Johnson, “Petri net-based investigations on the General Electric flexible manufacturing system,” Tech. Rep., Dept. Comput. Sci. Automat., Indian Inst. Sci., Bangalore, May 1987.
19. N.G. Leveson, and J.L. Stolzy, “Safety analysis using Petri nets,” IEEE Trans. Software Eng., vol. SE-13, no. 3, pp. 386–397, Mar. 1987.
20. K.S. Trivedi, Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Englewood Cliffs, NJ: Prentice-Hall, 1982.
21. G. Balbo, G. Chiola, Franceschinis, and G.M. Roet, “Generalized stochastic Petri nets for the performance evaluation of FMS,” in Proc. IEEE Int. Conf. Robotics Automat. (Raleigh, NC), Mar.-Apr. 1987, pp. 1013–1018.
22. N. Viswanadham and Y. Narahari, “Stochastic Petri nets for performance evaluation of automated manufacturing systems,” Inform. Decision Technol., vol. 14, pp. 125–142, 1988.