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 条

[41] Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab
Basile, Francesco
Carbone, Ciro
Chiacchio, Pasquale
CONTROL ENGINEERING PRACTICE, 2007, 15 (02) : 241 - 259
[42] An approach for the design of supervisory controller of discrete event systems
Li, YM
Wang, MZ
Jones, AH
PROCEEDINGS OF THE 3RD WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-5, 2000, : 2341 - 2346
[43] Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems
Luo, Jiliang
Wan, Yaxin
Wu, Weimin
Li, Zhiwu
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2020, 21 (11) : 4526 - 4537
[44] Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets
Dong, Yifan
Li, Zhiwu
Wu, Naiqi
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (12): : 7628 - 7641
[45] Deadlock analysis and control using Petri net decomposition techniques
Zhong, Chunfu
He, Wenlong
Li, Zhiwu
Wu, Naiqi
Qu, Ting
INFORMATION SCIENCES, 2019, 482 : 440 - 456
[46] Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets
Mahulea, Cristian
Seatzu, Carla
Cabasino, Maria Paola
Silva, Manuel
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (04): : 970 - 984
[47] Insertion attack identification in discrete event systems using petri nets with an observer
Ahmed, Adeeb A.
Chen, Yufeng
El-Sherbeeny, Ahmed M.
PLOS ONE, 2024, 19 (12):
[48] Recursive Petri netsTheory and application to discrete event systems
Serge Haddad
Denis Poitrenaud
Acta Informatica, 2007, 44 : 463 - 508
[49] A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis
Duan, Wei
Zhong, Chunfu
Wang, Xiang
Rehman, Ateekh Ur
Umer, Usama
Wu, Naiqi
IEEE ACCESS, 2019, 7 : 49362 - 49376
[50] Directed Control of Discrete Event Systems for Safety and Nonblocking
Huang, Jing
Kumar, Ratnesh
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 5 (04) : 620 - 629

← 1 2 3 4 5 →