DETECTION OF DEADLOCKS IN FLEXIBLE MANUFACTURING CELLS

被引:173
作者
WYSK, RA
YANG, NS
JOSHI, S
机构
[1] CHUNG YUEM CHRISTIAN UNIV,DEPT IND ENGN,CHUNGLI,TAIWAN
[2] PENN STATE UNIV,DEPT IND & MANAGEMENT SYST ENGN,UNIV PK,PA 16802
来源
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION | 1991年 / 7卷 / 06期
关键词
Deadlock detection; deadlocking; manufacturing control;
D O I
10.1109/70.105378
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A problem emerging from CIM implementation is that of system deadlock. This short paper introduces deadlocking of manufacturing systems and describes some related work in the deadlocking of computer systems. A formal model for manufacturing systems 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.
引用
收藏
页码:853 / 859
页数:7
相关论文
共 12 条
[1]  
Boffey T. B., 1982, GRAPH THEORY OPERATI
[2]  
CO H, 1986, THESIS VIRGINIA POLY
[3]  
COFFMAN EG, 1971, COMPUT SURVEYS, V3
[4]  
GLIGOR VD, 1980, IEEE T SOFTWARE ENG, V6
[5]  
GOLD EM, 1978, SIAM J COMPUT, V7
[6]  
GRAY J, 1978, OPERATING SYSTEMS AD, V60
[7]   PREVENTION OF SYSTEM DEADLOCKS [J].
HABERMANN, AN .
COMMUNICATIONS OF THE ACM, 1969, 12 (07) :373-+
[8]   MIXED SOLUTIONS FOR DEADLOCK PROBLEM [J].
HOWARD, JH .
COMMUNICATIONS OF THE ACM, 1973, 16 (07) :427-430
[9]  
JOLT RC, 1971, COMMUN ACM, V14, P36
[10]  
JOSHI S, 1990, MAY P CIMCON 90, P21