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 条
  • [21] From interpreted Petri net specification to reprogrammable Logic Controller design
    Adamski, M
    Monteiro, JL
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 13 - 19
  • [22] Improved Design of Concurrent Synchronization System Controller Based on Petri Net
    Yang, Xu
    Guo, Shaocui
    Xiang, Dongming
    Yang, Yuxin
    Chen, Yijun
    JOURNAL OF WEB ENGINEERING, 2023, 22 (07): : 961 - 981
  • [23] One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets
    Wu, Naiqi
    Zhou, Mengchu
    Hu, Gang
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [24] On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets
    Chen, HeFeng
    Wu, NaiQi
    Li, ZhiWu
    Qu, Ting
    ISA TRANSACTIONS, 2019, 89 : 67 - 76
  • [25] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
    M. Uzam
    The International Journal of Advanced Manufacturing Technology, 2004, 24 : 48 - 69
  • [26] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
    Uzam, M
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2004, 24 (1-2): : 48 - 69
  • [27] Flexible process sequencing using petri net theory
    Comput Ind Eng, 2 (279):
  • [28] Petri-net controller synthesis using Matlab/Statflow tools
    Ibraheem, AA
    Moteleb, MSA
    Bahgat, AG
    Proceedings of the 46th IEEE International Midwest Symposium on Circuits & Systems, Vols 1-3, 2003, : 1030 - 1033
  • [29] Making workflow models sound using Petri net controller synthesis
    Dehnert, J
    Zimmermann, A
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, 2004, 3290 : 139 - 154
  • [30] Controller design and verification for a pipeline image processor based on an extended Petri net
    Wasaki, Katsumi
    Harai, Toshiaki
    Hayashi, Tamotsu
    Arai, Kenichi
    DSD 2007: 10TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN ARCHITECTURES, METHODS AND TOOLS, PROCEEDINGS, 2007, : 257 - 260
12345