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
关键词
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 条
  • [1] Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
    Maione, G
    Dicesare, F
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2005, 43 (24) : 5131 - 5159
  • [2] DEADLOCK PREVENTION AND DEADLOCK-AVOIDANCE IN FLEXIBLE MANUFACTURING SYSTEMS USING PETRI NET MODELS
    VISWANADHAM, N
    NARAHARI, Y
    JOHNSON, TL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1990, 6 (06): : 713 - 723
  • [3] Comparing digraph and Petri net approaches to deadlock avoidance in FMS
    Fanti, MP
    Maione, B
    Turchiano, B
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 783 - 798
  • [4] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach
    Juan-Pablo, Lopez-Grao
    Colom, Jose-Manuel
    Tricas, Fernando
    [J]. 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [5] Deadlock avoidance policy for petri-net modeling of flexible manufacturing systems with shared resources
    Xing, KY
    Hu, BS
    Chen, HX
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (02) : 289 - 295
  • [6] Deadlock avoidance for flexible manufacturing systems with choices based on digraph circuit analysis
    Zhang, WL
    Judd, RP
    [J]. PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 3333 - 3338
  • [7] Deadlock avoidance for flexible manufacturing systems with choices based on digraph circuit analysis
    Zhang, Wenle
    Judd, Robert P.
    [J]. ASIAN JOURNAL OF CONTROL, 2007, 9 (02) : 111 - 120
  • [8] Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems
    Xing K.
    Tian F.
    Yang X.
    [J]. Journal of Control Theory and Applications, 2007, 5 (2): : 152 - 158
  • [9] Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems
    Keyi XING
    Xi’an Institute of Electromechanical Information Technology
    [J]. Control Theory and Technology, 2007, (02) : 152 - 158
  • [10] A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models
    Zhu, Rongming
    [J]. ASIAN JOURNAL OF CONTROL, 2012, 14 (01) : 217 - 229