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 条

[41] Coordination control of discrete event systems using Petri nets
Pellicer, JE
Carelli, R
BALANCED AUTOMATION SYSTEMS II: IMPLEMENTATION CHALLENGES FOR ANTHROPOCENTRIC MANUFACTURING, 1996, : 519 - 529
[42] Detectability in Discrete Event Systems Using Unbounded Petri Nets
Zhu, Haoming
Liu, Gaiyun
Yu, Zhenhua
Li, Zhiwu
MATHEMATICS, 2023, 11 (18)
[43] ANALYSIS AND CONTROL OF DISCRETE EVENT SYSTEMS REPRESENTED BY PETRI NETS
ICHIKAWA, A
HIRAISHI, K
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 103 : 115 - 134
[44] Reliability analysis of discrete event dynamic systems with Petri nets
Sadou, Nabil
Demmou, Hamid
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (11) : 1848 - 1861
[45] Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
S. Bulach
A. Brauchle
H.-J. Pfleiderer
Z. Kucerovsky
Discrete Event Dynamic Systems, 2002, 12 : 287 - 309
[46] Simulation modeling based on the Object-oriented Petri net for discrete event systems
Li, J.
Wang, S.
Chen, L.
Huazhong Ligong Daxue Xuebao/Journal Huazhong (Central China) University of Science and Technology, 2001, 29 (05): : 12 - 13
[47] Java']Java Software for Petri-Net-Based Approaches to Discrete Event Systems
Wang, Xiaojun
Han, Chun
Hu, Hesuan
2018 IEEE 14TH INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2018, : 330 - 335
[48] Design and implementation of discrete event control systems: A Petri net based hardware approach
Bulach, S
Brauchle, A
Pfleiderer, HJ
Kucerovsky, Z
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2002, 12 (03): : 287 - 309
[49] Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin
Al-Ajeli, Ahmed
Parker, David
2018 UKACC 12TH INTERNATIONAL CONFERENCE ON CONTROL (CONTROL), 2018, : 397 - 402
[50] Using a Uniform Petri Net for Safety Workflow Management Systems
Cui, Luning
Liu, Lingyan
ISISE 2008: INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING, VOL 1, 2008, : 483 - +

← 1 2 3 4 5 →