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 条

[31] Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications
Li, Chengzong
Chen, Yufeng
Li, Zhiwu
Yin, Li
2022 IEEE 18TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2022, : 1622 - 1627
[32] A Program Model of Fuzzy Interpreted Petri Net to Control Discrete Event Systems
Markiewicz, Michal
Gniewek, Leslaw
APPLIED SCIENCES-BASEL, 2017, 7 (04):
[33] A Petri net based approach to design well behaved discrete event systems
Pouyan, AA
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 292 - 299
[34] Non-concurrent fault identification in discrete event systems using encoded Petri net states
Wu, YQ
Hadjicostis, CN
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 4018 - 4023
[35] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
M. Uzam
The International Journal of Advanced Manufacturing Technology, 2004, 24 : 48 - 69
[36] Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
Uzam, M
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2004, 24 (1-2): : 48 - 69
[37] Simulating Cyberattacks with a Petri Net Discrete Event Simulator
Colvett, C. Daniel
Petty, Mikel D.
Bland, John A.
Baker, Kenneth R.
2019 6TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI 2019), 2019, : 67 - 71
[38] STOCHASTIC PETRI NET REPRESENTATION OF DISCRETE EVENT SIMULATIONS
HAAS, PJ
SHEDLER, GS
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (04) : 381 - 393
[39] Prototyping Timed Petri Net by discrete event simulator
Matsumoto, A
Miura, T
2001 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS I AND II, CONFERENCE PROCEEDINGS, 2001, : 337 - 340
[40] Fault Modeling in Discrete Event Systems Using Petri Nets
Nazemzadeh, Payam
Dideban, Abbas
Zareiee, Meisam
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)

← 1 2 3 4 5 →