论文信息 - Detection of deadlocks in flexible manufacturing cells

Detection of deadlocks in flexible manufacturing cells

One specific problem of control, namely, system deadlock that can arise in an unmanned flexible manufacturing system (FMS) is addressed, and some related work in the deadlocking of computer systems is described. A formal model for manufacturing system deadlock detection is presented. Necessary and sufficient conditions for manufacturing system deadlock based on actual manufacturing-system characteristics are defined along with a set of bounds for searching for deadlocks. An implementation approach is also presented. >

Richard A. Wysk | Sanjay B. Joshi | Neng-Shu Yang

[1] Jim Gray,et al. Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[2] Virgil D. Gligor,et al. On Deadlock Detection in Distributed Systems , 1980, IEEE Transactions on Software Engineering.

[3] Henry C. Co. Design and implementation of flexible manufacturing systems : some analysis concepts , 1984 .

[4] Shigeyoshi Tsutsui,et al. Deadlock Prevention in Process Control Computer Systems , 1987, Comput. J..

[5] John H. Howard. Mixed solutions for the deadlock problem , 1973, CACM.

[6] Daniel A. Menascé,et al. Locking and Deadlock Detection in Distributed Data Bases , 1979, IEEE Transactions on Software Engineering.

[7] E. Mark Gold,et al. Deadlock Prediction: Easy and Difficult Cases , 1978, SIAM J. Comput..

[8] A. Nico Habermann,et al. Prevention of system deadlocks , 1969, CACM.

[9] Arie Shoshani,et al. System Deadlocks , 1971, CSUR.

[10] Richard C. Holt,et al. Comments on prevention of system deadlocks , 1971, Commun. ACM.

[11] Oliver D. Anderson. Graph Theory in Operations Research , 1982 .