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 条
  • [21] A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition
    Luo, JianChao
    Liu, ZhiQiang
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (06) : 3379 - 3387
  • [22] On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
    Zhao, Mi
    Li, Zhiwu
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (21) : 6085 - 6107
  • [23] Nonpure Petri net supervisors for optimal deadlock control of flexible manufacturing systems
    [J]. 1600, Institute of Electrical and Electronics Engineers Inc. (43):
  • [24] A deadlock prevention policy for a class of Petri net models of flexible manufacturing systems
    Yan, Mingming
    Zhong, Chunfu
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2011, 49 (24) : 7379 - 7396
  • [25] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
  • [26] Parsimonious deadlock-free Petri net models of flexible manufacturing systems
    Basile, Francesco
    Cordone, Roberto
    Piroddi, Luigi
    [J]. 2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 119 - 124
  • [27] Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems
    Chen, YuFeng
    Li, ZhiWu
    Al-Ahmari, Abdulrahman
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (02): : 252 - 265
  • [28] A Petri net based deadlock avoidance controller for manufacturing systems with multiple resource service
    Xing, Keyi
    Tian, Feng
    Li, Junmin
    Qu, Shengli
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 812 - 817
  • [29] Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems"
    Li, ZhiWu
    Liu, GaiYun
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (03): : 692 - 692
  • [30] An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems
    Uzam, Murat
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (03): : 362 - 371
12345