Safety analysis of discrete event systems using a simplified Petri net controller

被引：12
|
作者：
Zareiee, Meysam [1 ]
Dideban, Abbas [1 ]
Orouji, Ali Asghar [1 ]
机构：
[1] Semnan Univ, Dept Elect Engn, Semnan, Iran
来源：
ISA TRANSACTIONS | 2014年 / 53卷 / 01期
关键词：
Discrete event system; Supervisory control; Controller synthesis; Petri net; FLEXIBLE MANUFACTURING SYSTEMS; DEADLOCK PREVENTION POLICY; LIVENESS-ENFORCING SUPERVISORS; FEEDBACK-CONTROL; REGIONS; CONSTRAINTS; DESIGN; LOGIC; FMS;
D O I：
10.1016/j.isatra.2013.09.006
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper deals with the problem of forbidden states in discrete event systems based on Petri net models. So, a method is presented to prevent the system from entering these states by constructing a small number of generalized mutual exclusion constraints. This goal is achieved by solving three types of Integer Linear Programming problems. The problems are designed to verify the constraints that some of them are related to verifying authorized states and the others are related to avoiding forbidden states. The obtained constraints can be enforced on the system using a small number of control places. Moreover, the number of arcs related to these places is small, and the controller after connecting them is maximally permissive. (C) 2013 ISA. Published by Elsevier Ltd. All rights reserved.
引用
收藏
页码：44 / 49
页数：6
相关论文
共 50 条
  • [1] Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs
    Cong, Xuya
    Chen, Yufeng
    Li, Zhiwu
    Wu, Naiqi
    Nasr, Emad Abouel
    El-Tamimi, Abdulaziz Mohammed
    IEEE ACCESS, 2018, 6 : 8245 - 8257
  • [2] Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets
    Alzalab, Ebrahim Ali
    Yu, Zhenhua
    Wu, Naiqi
    Kaid, Husam
    IEEE ACCESS, 2020, 8 : 170237 - 170247
  • [3] Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
    Luo, JiLiang
    Zhou, MengChu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (03) : 1301 - 1313
  • [4] Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs
    Chen, YuFeng
    Li, ZhiWu
    Barkaoui, Kamel
    Wu, NaiQi
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (02): : 364 - 379
  • [5] A Matlab-based Petri net supervisory controller for discrete event systems
    Flochová, J
    Lipták, R
    Boel, RK
    PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 113 - 120
  • [6] Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors
    Cong, Xuya
    Wang, Anrong
    Chen, Yufeng
    Wu, Naiqi
    Qu, Ting
    Khalgui, Mohamed
    Li, Zhiwu
    ISA TRANSACTIONS, 2019, 92 : 145 - 154
  • [7] Modeling, analysis and control of Discrete Event Systems: a Petri net perspective
    Giua, Alessandro
    Silva, Manuel
    IFAC PAPERSONLINE, 2017, 50 (01): : 1772 - 1783
  • [8] 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
  • [9] Petri net based diagnostic approach for concurrent discrete event systems
    Windmann, Stefan
    AT-AUTOMATISIERUNGSTECHNIK, 2024, 72 (04) : 259 - 271
  • [10] A survey of Petri net methods for controlled discrete event systems
    Holloway, LE
    Krogh, BH
    Giua, A
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (02): : 151 - 190
12345