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 条
  • [41] Safety analysis of discrete event systems using a simplified Petri net controller
    Zareiee, Meysam
    Dideban, Abbas
    Orouji, Ali Asghar
    ISA TRANSACTIONS, 2014, 53 (01) : 44 - 49
  • [42] HIERARCHICAL SYSTEM DESIGN USING REFINABLE RECURSIVE PETRI NET
    Bouneb, Messaouda
    Saidouni, Djamel Eddine
    Ilie, Jean Michel
    COMPUTING AND INFORMATICS, 2018, 37 (03) : 635 - 655
  • [43] Complex Task Design Based on Crowdsourcing Using Petri Net
    Fu, Donglai
    Liu, Yanhua
    Journal of Computers (Taiwan), 2021, 32 (06) : 1 - 14
  • [44] Information systems design using transaction based Petri net
    Barjis, J
    Barjis, I
    Barjis, N
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL X, PROCEEDINGS: SYSTEMICS AND INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 135 - 140
  • [45] Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning
    Gomes, L
    SteigerGarcao, A
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 218 - 237
  • [46] A hybrid approach to design deadlock-free Petri net controller for discrete event systems
    Zeng, G. Q.
    Wu, W. M.
    Mao, W. J.
    Su, H. Y.
    Chu, J.
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 77 - 92
  • [47] On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions
    Na Wei
    Zhiwu Li
    The International Journal of Advanced Manufacturing Technology, 2008, 38 : 195 - 204
  • [48] On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions
    Wei, Na
    Li, Zhiwu
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2008, 38 (1-2): : 195 - 204
  • [49] Petri net controller synthesis for discrete event systems using weighted inhibitor arc
    Wu, WM
    Su, HY
    Hu, JB
    Chu, J
    Zhai, HF
    Wu, HH
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 3582 - 3587
  • [50] Abstraction-based workflow cooperation using Petri net theory
    Klai, K
    Tata, S
    FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 113 - 118
12345