A Petri net and digraph - theoretic approach for deadlock avoidance in Flexible Manufacturing Systems

被引：0
|
作者：
Maione, G [1 ]
DiCesare, F [1 ]
机构：
[1] Univ Lecce, Dipartimento Sci Mat, I-73100 Lecce, Italy
来源：
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper combines Petri nets and digraphs to implement control policies avoiding deadlocks in Flexible Manufacturing Systems. We translate some deadlock characterizations into Petri net deadlock markings. Hence we deduce inequality constraints on the token distribution to avoid deadlocks. By using control places we define place invariants to respect these constraints.
引用
收藏
页码：605 / 610
页数：6
相关论文
共 50 条
  • [31] A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models
    Chunfu Zhong
    Zhiwu Li
    [J]. Engineering with Computers, 2009, 25 : 269 - 278
  • [32] A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models
    Zhong, Chunfu
    Li, Zhiwu
    [J]. ENGINEERING WITH COMPUTERS, 2009, 25 (03) : 269 - 278
  • [33] A STRUCTURED APPROACH TO DEADLOCK DETECTION, AVOIDANCE AND RESOLUTION IN FLEXIBLE MANUFACTURING SYSTEMS
    KUMARAN, TK
    CHANG, W
    CHO, H
    WYSK, RA
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1994, 32 (10) : 2361 - 2379
  • [34] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [35] Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems
    Uzam, M
    Zhou, MC
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4260 - 4265
  • [36] Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems
    Li, ZhiWu
    Liu, GaiYun
    Hanisch, Hans-Michael
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 178 - 191
  • [37] Petri net channelized-based deadlock prevention policy for flexible manufacturing systems
    Huang, Yi-Sheng
    Row, Ter-Chan
    [J]. EQUIPMENT MANUFACTURING TECHNOLOGY AND AUTOMATION, PTS 1-3, 2011, 317-319 : 552 - +
  • [38] A channelized deadlock prevention policy for flexible manufacturing systems using Petri net models
    Huang, Yi-Sheng
    Row, Ter-Chan
    [J]. MATERIALS AND DESIGN, PTS 1-3, 2011, 284-286 : 1498 - +
  • [39] Deadlock prevention and avoidance in FMS: A Petri net based approach
    I. B. Abdallah
    H. A. ElMaraghy
    [J]. The International Journal of Advanced Manufacturing Technology, 1998, 14 : 704 - 715
  • [40] Deadlock prevention and avoidance in FMS: A Petri net based approach
    Abdallah, IB
    ElMaraghy, HA
    [J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10): : 704 - 715
12345