Deadlock prevention in flexible manufacturing systems using symbolic model checking

被引：0
|
作者：
HartonasGarmhausen, V [1 ]
Clarke, EM [1 ]
Campos, S [1 ]
机构：
[1] CARNEGIE MELLON UNIV,DEPT ENGN & PUBL POLICY,PITTSBURGH,PA 15213
来源：
1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：527 / 532
页数：6
相关论文
共 50 条
  • [41] Deadlock-free rescheduling in flexible manufacturing systems
    ElMaraghy, HA
    ElMekkawy, TY
    CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2002, 51 (01): : 371 - 374
  • [42] Performance of deadlock avoidance algorithms in flexible manufacturing systems
    Fanti, MP
    Maione, B
    Mascolo, S
    Turchiano, B
    JOURNAL OF MANUFACTURING SYSTEMS, 1996, 15 (03) : 164 - 178
  • [43] Flexible routing and deadlock avoidance in automated manufacturing systems
    Lawley, M
    1998 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, 1998, : 591 - 596
  • [44] Efficient optimal deadlock control of flexible manufacturing systems
    Han, Libin
    Xing, Keyi
    Zhou, Mengchu
    Chen, Xiao
    Gao, Zhenxin
    IET CONTROL THEORY AND APPLICATIONS, 2016, 10 (10): : 1181 - 1186
  • [45] On the complexity of optimal deadlock avoidance in flexible manufacturing systems
    Reveliotis, SA
    Lawley, MA
    Ferreira, PM
    PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 1008 - 1012
  • [46] A comparison of deadlock avoidance policies in flexible manufacturing systems
    Hosack, B
    Mahmoodi, F
    Mosier, CT
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2003, 41 (13) : 2991 - 3006
  • [47] Open Problems in Deadlock Control for Flexible Manufacturing Systems by Using Petri Nets
    Li, Zhiwu
    Al-Ahmari, Abdulrahman M.
    COMPUTER-AIDED DESIGN, MANUFACTURING, MODELING AND SIMULATION, PTS 1-2, 2011, 88-89 : 134 - +
  • [48] Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets
    Li, Shao Yong
    Li, Zhi Wu
    Hu, He Suan
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2011, 24 (08) : 710 - 725
  • [49] Deadlock-free scheduling in flexible manufacturing systems using Petri nets
    Ben Abdallah, I
    Elmaraghy, HA
    Elmekkawy, T
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2002, 40 (12) : 2733 - 2756
  • [50] A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems
    Li, ZhiWu
    Zhou, MengChu
    Wu, NaiQi
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 38 (02): : 173 - 188
12345