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

被引：11
|
作者：
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 条
  • [11] Petri net based fault diagnosis of discrete event systems
    Alcaraz-Mejía, M
    López-Mellado, E
    Ramírez-Treviño, A
    Rivera-Rangel, I
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 4730 - 4735
  • [12] Diagnosability of discrete event systems -: A Petri Net based approach
    Ramírez-Treviño, A
    Ruiz-Beltrán, E
    Rivera-Rangel, I
    López-Mellado, E
    2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 541 - 546
  • [13] 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
  • [14] A Survey of Petri Net Methods for Controlled Discrete Event Systems
    L. E. Holloway
    B. H. Krogh
    A. Giua
    Discrete Event Dynamic Systems, 1997, 7 : 151 - 190
  • [15] A new Petri net modeling technique for the performance analysis of discrete event dynamic systems
    Koriem, SM
    Dabbous, TE
    El-Kilani, WS
    JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 72 (03) : 335 - 348
  • [16] Analysis of Discrete Event Systems with Petri Nets
    Mata, Guelvis
    Mendez, Arnado
    Cardillo, Juan
    Chacon, Edgar
    CIENCIA E INGENIERIA, 2016, 37 (02): : 53 - 58
  • [17] Critical Observability of Discrete-Event Systems in a Petri Net Framework
    Cong, Xuya
    Fanti, Maria Pia
    Mangini, Agostino Marcello
    Li, Zhiwu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (05): : 2789 - 2799
  • [18] A formal technique for the synthesis of Petri net supervisors for Discrete Event Systems
    Jones, AH
    Uzam, M
    UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 845 - 852
  • [19] On Diagnosis of Violations of Constraints in Petri Net Models of Discrete Event Systems
    Bordbar, Behzad
    Al-Ajeli, Ahmed
    Alodib, Mohammed
    2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2014, : 673 - 680
  • [20] A Survey of Supervisory Control of Discrete Event Systems based on Petri Net
    Wu, Wenhui
    PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 973 - 977
12345