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 条

[11] 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
[12] A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems
Markiewicz, Michal
Gniewek, Leslaw
APPLIED SCIENCES-BASEL, 2017, 7 (04):
[13] On-line pattern diagnosis of discrete event systems with Petri net diagnosers
Que C.-X.
Liu F.-C.
Zhao R.
Deng X.-Q.
Cui H.-G.
Liu, Fu-Chun (fliu2011@163.com), 1621, South China University of Technology (37): : 1621 - 1627
[14] An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems
Hu, Hesuan
Zhou, MengChu
Li, Zhiwu
Tang, Ying
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2013, 10 (03) : 772 - 782
[15] A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations
Hu, Hesuan
Zhou, MengChu
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2015, 23 (02) : 513 - 524
[16] Fault Modeling in Discrete Event Systems Using Petri Nets
Nazemzadeh, Payam
Dideban, Abbas
Zareiee, Meisam
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
[17] Detectability in Discrete Event Systems Using Unbounded Petri Nets
Zhu, Haoming
Liu, Gaiyun
Yu, Zhenhua
Li, Zhiwu
MATHEMATICS, 2023, 11 (18)
[18] 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
[19] 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
[20] 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

← 1 2 3 4 5 →