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 条
  • [21] Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
    Li, ZW
    Zhou, MC
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01): : 38 - 51
  • [22] Comments on "Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems"
    Wang, Shouguang
    Wang, Chengying
    Yu, Yanping
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (02): : 338 - 340
  • [23] Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems
    Huang, Y
    Jeng, M
    Wen, Y
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 2327 - 2332
  • [24] Technical note—reducing mip iterations for deadlock prevention of flexible manufacturing systems
    Daniel Y. Chao
    The International Journal of Advanced Manufacturing Technology, 2009, 41 : 343 - 346
  • [25] An efficient deadlock prevention policy for flexible manufacturing system using Petri nets
    Hu, H. S.
    Li, Z. W.
    Wang, A. R.
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 3187 - 3192
  • [26] Deadlock control policy using control transitions for flexible manufacturing systems
    Li S.-Y.
    Sun Z.-D.
    Cai Y.
    Hou C.-Q.
    Han X.-L.
    Ma B.-S.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2019, 36 (05): : 795 - 802
  • [27] Technical note-reducing mip iterations for deadlock prevention of flexible manufacturing systems
    Chao, Daniel Y.
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 41 (3-4): : 343 - 346
  • [28] Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems
    Li, ZhiWu
    Liu, GaiYun
    Hanisch, Hans-Michael
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 178 - 191
  • [29] An efficient deadlock prevention policy based on selective transition covers for flexible manufacturing systems
    Liu, Huixia
    Wu, Weimin
    2014 IEEE 11TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2014, : 484 - 489
  • [30] Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets
    Liu, Huixia
    Xing, Keyi
    Wu, Weimin
    Zhou, MengChu
    Zou, Hailin
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (03): : 519 - 529
12345