Design of a live and maximally permissive Petri net controller using the theory of regions

被引：257
|
作者：
Ghaffari, A [1 ]
Rezg, N [1 ]
Xie, XL [1 ]
机构：
[1] INRIA Lorraine, MACSI Team, F-57045 Metz, France
来源：
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION | 2003年 / 19卷 / 01期
关键词：
controllability; Petri nets (PN); supervisory control; theory of regions;
D O I：
10.1109/TRA.2002.807555
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper addresses the forbidden state problem of Petri nets (PN) with liveness requirement and uncontrollable transitions. The proposed approach computes a maximally permissive PN controller, whenever such a controller exists. The first step, based on a Ramadge-Wonham-like reasoning, determines the legal and live maximal behavior the controlled PN should have. In the second step, the theory of regions is used to design control places to add to the original model to realize the desired behavior. Furthermore, necessary and sufficient conditions for the existence of control places realizing the maximum permissive control are given. A parameterized manufacturing application of significant state space is used to show the efficiency of the proposed approach.
引用
收藏
页码：137 / 142
页数：6
相关论文
共 50 条
  • [1] Live and maximally permissive controller synthesis using theory of regions
    Ghaffari, A
    Rezg, N
    Xie, XL
    SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS, 2002, : 155 - 166
  • [2] Maximally permissive and non blocking control of Petri nets using theory of regions
    Ghaffari, A
    Rezg, N
    Xie, X
    2002 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2002, : 1895 - 1900
  • [3] A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions
    Li, Zhiwu
    Zhou, MengChu
    Jeng, MuDer
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (01) : 182 - 188
  • [4] Maximally permissive controller synthesis for time Petri nets
    Heidari, Parisa
    Boucheneb, Hanifa
    INTERNATIONAL JOURNAL OF CONTROL, 2013, 86 (03) : 493 - 511
  • [5] Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Chen, YuFeng
    Li, Zhiwu
    Khalgui, Mohamed
    Mosbahi, Olfa
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) : 374 - 393
  • [6] MAXIMALLY PERMISSIVE PETRI NET SUPERVISORS FOR FLEXIBLE MANUFACTURING SYSTEMS WITH UNCONTROLLABLE AND UNOBSERVABLE TRANSITIONS
    Chen, YuFeng
    Barkaoui, Kamel
    ASIAN JOURNAL OF CONTROL, 2014, 16 (06) : 1646 - 1658
  • [7] A Polynomial-Complexity Approach to Decide the Existence of a Maximally Permissive Petri Net Supervisor Using Elementary Siphons
    Li, Zhiwu
    Zhou, MengChu
    2009 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2009, : 602 - +
  • [8] The design of a controller in Fuzzy Petri net
    Yubin Zhong
    Fuzzy Optimization and Decision Making, 2008, 7 : 399 - 408
  • [9] The design of a controller in Fuzzy Petri net
    Zhong, Yubin
    FUZZY OPTIMIZATION AND DECISION MAKING, 2008, 7 (04) : 399 - 408
  • [10] On the existence of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems
    Li, Zhiwu
    Shpitalni, Moshe
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 90 - +
12345