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 条
  • [31] Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems
    Uzam, M
    Zhou, MC
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4260 - 4265
  • [32] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [33] Petri net channelized-based deadlock prevention policy for flexible manufacturing systems
    Huang, Yi-Sheng
    Row, Ter-Chan
    EQUIPMENT MANUFACTURING TECHNOLOGY AND AUTOMATION, PTS 1-3, 2011, 317-319 : 552 - +
  • [34] A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
    Zhu, Rongming
    ASIAN JOURNAL OF CONTROL, 2012, 14 (01) : 217 - 229
  • [35] 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
  • [36] An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions
    M. Uzam
    The International Journal of Advanced Manufacturing Technology , 2002, 19 : 192 - 208
  • [37] An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions
    Uzam, M
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2002, 19 (03): : 192 - 208
  • [38] Symbolic model checking of deadlock free property of task control architecture
    Hiraishi, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (10) : 1579 - 1586
  • [39] Deadlock-free genetic scheduling for flexible manufacturing systems using Petri nets and deadlock controllers
    Han, Libin
    Xing, Keyi
    Chen, Xiao
    Lei, Hang
    Wang, Feng
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2014, 52 (05) : 1557 - 1572
  • [40] Suboptimal deadlock control policy for flexible manufacturing systems
    Zhu, Sen
    Zhou, Gang
    Li, Zhi-Wu
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2010, 16 (09): : 1908 - 1913
12345