Deadlock Avoidance in Flexible Manufacturing Systems with Concurrently Competing Process Flows

IEEE Transactions on Robotics and Automation

Volumn 6, Issue 6, 1990, Pages 724-734

  Banaszak, Zbignew A ^a   Krogh, Bruce H ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; MATHEMATICAL TECHNIQUES - PETRI NETS; ROBOTIC ASSEMBLY; VEHICLES - AUTOMATION;

CONCURRENT JOB FLOW; CONCURRENTLY COMPETING PROCESS FLOWS; DEADLOCK AVOIDANCE ALGORITHM (DAA); DYNAMIC RESOURCE ALLOCATION; MULTICELL MACHINING FACILITY; TRANSITION ENABLING;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 0025624142     PISSN: 1042296X     EISSN: None     Source Type: Journal    
DOI: 10.1109/70.63273     Document Type: Letter

References (23)

1. 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, 1985.
2. Y. Narahari and N. Viswanadham, “A Petri net approach to modeling and analysis of FMS,” Annals Oper. Res., vol. 3, 1985.
3. J. Sifakis, “Deadlocks and livelocks in transition systems,” Math. Foundations Comput. Sci., vol. 88, 1980.
4. T. Murata, B. Shenker, and S.M. Shatz, “Detection of ada static deadlocks using Petri net invariants,” IEEE Trans. Software Eng., vol. 15, no. 3, 1989.
5. D. Hauschildt and R. Valk, “Safe states in banker like resource allocation problems,” Lecture Notes Comput. Sci., 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. E.G. Coffman Jr., M. Elphick, and A. Shoshani, “System deadlocks,” Comput. Surveys, vol. 3, no. 2, pp. 67–78, June 1971.
9. J.W. Havender, “Avoiding deadlock in multitasking systems,” IBM Syst. J., vol. 7, no. 2, pp. 74–84, 1968.
10. A.N. Habermann, “Prevention of system deadlocks,” Comm. ACM, vol. 12, no. 7, pp. 373–385, July 1969.
11. J.L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
12. Z. Banaszak and B.H. Krogh, “realtime sychronization mechanism for complex concurrently competing processes coordination,” in Proc. IFAC World Cong. (Tallin, USSR), Aug. 1990.
13. Z. Banaszak, “Automatic modeling of pipeline concurrent process,” Large Scale Systems: Theory and Applications, H.P. Geering and M. Mansour (Eds.), in Proc. IFAC/IFORS (Zurich), Aug. 1986, pp. 89–94.
14. Z. Banaszak, “Control oriented models if interprocess cooperations,” Tech. Rep. PRE 6/87, Tech. Univ. Wroclaw, Inst. Tech. Cybernetics, 1987.
15. M. Kamath, N. Viswanadham, “Applications of Petri net based models in the modeling and analysis of flexible manufacturing systems,” in Proc. IEEE Conf. Robotics Automat. (San Francisco), 1986.
16. R. Valette, J. Cardoso, H. Atabakhche, M. Courvoisier, and T. Lemaire, “Petri nets and production rules in decision levels in FMS control,” in Proc. 12th IMACS World Congr. Sci. Computation (Paris, France), July 1986.
17. H.P. Hillion and J-M. Proth, “Performance evaluation of job-shop systems using timed event-graph,” IEEE Trans. Automatic Contr., vol. 34, no. 1, Mar. 1985.
18. H. Kodate, K. Fuji, and K. Yamanoi, “Representation of FMS with Petri net graph and its application to simulation of system operation,” Robotics Comput.-Integrated Manu., vol. 3, no. 3, pp. 275–283, 1987.
19. R.Y. Al-Jaar and A.A. Desroches, “A survey of Petri nets in automated manufacturing systems,” in Proc. 12th World Congr. IMACS (Paris, France), July 1988.
20. K. Hasegawa, “Application of the mark flow graph to represent discrete event production systems and system control,” Trans. Soc. Instrument Contr. Eng., vol. 24, no. 2, pp. 69–75, 1988.
21. I. Hatono, N. Katoh, K. Yamagata, and H. Tamura, “Modelling of FMS under uncertainty using stochastic Petri nets,” in Proc. Third Int. Workshop Petri Nets Performance Models (Kyoto, Japan), Dec. 1988.
22. Z. Banaszak, “Perspectives of automatic realtime program synthesis,” in Proc. 14th Workshop Realtime Programming, IFAC / IFIP (Lake Balaton), 1986, pp. 19–26.
23. B.H. Krogh, R. Willson, and D. Pathak, “Automated generation and evaluation of control programs for discrete manufacturing processes,” in Proc. First Inter. Conf. Comput. Integrated Manu. (Troy, NY), May 1988.