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 条
  • [31] Synthesis of Petri net controller to enforce conjunction of GMEC using observer
    Wang, SG
    Zhang, SL
    Yan, GF
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1752 - 1757
  • [32] An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems
    Hu, Hesuan
    Zhou, MengChu
    Li, Zhiwu
    Tang, Ying
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (03) : 772 - 782
  • [33] Controller Design and Implementation: an Approach Based on Problem Frames and Petri Net Models
    Brito, Isabel Sofia
    Barros, Joao Paulo
    Gomes, Luis
    PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 860 - 867
  • [34] A HIGH-PERFORMANCE PROGRAMMABLE CONTROLLER FOR CIM SYSTEMS BASED ON PETRI NET THEORY
    KAYAMA, M
    NAGASE, H
    MOROOKA, Y
    IECON 89, VOLS 1-4: POWER ELECTRONICS - SIGNAL-PROCESSING & SIGNAL CONTROL - FACTORY AUTOMATION, EMERGING TECHNOLOGIES, 1989, : 805 - 810
  • [35] 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
  • [36] 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
  • [37] Design and evaluation of the mod service system based on Petri net theory
    Koriem, SM
    Al-Hefdhi, JA
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2004, 29 (2B) : 213 - 236
  • [38] FLEXIBLE PROCESS SEQUENCING USING PETRI-NET THEORY
    LEE, KH
    JUNG, MY
    COMPUTERS & INDUSTRIAL ENGINEERING, 1995, 28 (02) : 279 - 290
  • [39] Design of Robust Optimization Petri Net Controller for Automated Manufacturing Systems With Unreliable Resources
    Zhang, Ziliang
    Liu, Gaiyun
    Sun, Yu
    2022 IEEE 18TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2022, : 1640 - 1645
  • [40] Design of a More Permissive and Structurally Simple Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Li, Zhiwu
    Wang, Xingping
    IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 2, 2004, : 1891 - 1895
12345