Feedback control of Petri nets based on place invariants

被引：369

作者：

Yamalidou, K ^{[1
]}

Moody, J ^{[1
]}

Lemmon, M ^{[1
]}

Antsaklis, P ^{[1
]}

机构：

[1] UNIV NOTRE DAME,DEPT ELECT ENGN,NOTRE DAME,IN 46556

来源：

AUTOMATICA | 1996年 / 32卷 / 01期

关键词：

discrete event systems; Petri nets; invariants; supervisory control;

D O I：

10.1016/0005-1098(95)00103-4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes a method for constructing a Petri net controller for a discrete event system modeled by a Petri net. The controller consists only of places and arcs, and is computed based on the concept of Petri net place invariants. The size of the controller is proportional to the number of constraints that must be satisfied. This method is computationally efficient, and can accommodate constraints written as Boolean logic formulas in the conjunctive normal form or algebraic inequalities that contain elements of the marking and/or the firing vectors.

引用

页码：15 / 28

页数：14

共 50 条

[41] GENERALIZED INVERSES AND THE CALCULATION OF SYMBOLIC INVARIANTS FOR COLORED PETRI NETS
SILVA, M
MARTINEZ, J
LADET, P
ALLA, H
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 113 - 126
[42] Observability in interpreted Petri nets using sequence invariants.
Aguirre-Salas, L
Begovich, O
Ramirez-Treviño, A
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 3602 - 3607
[43] Reversibility analysis for Petri nets by using T-invariants
Ozkan, Hanifie Apaydin
Aybar, Aydin
ACMOS '08: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATIC CONTROL, MODELLING AND SIMULATION, 2008, : 291 - +
[44] Enumeration. algorithms for minimal siphons in Petri nets based on place constraints
Cordone, R
Ferrarini, L
Piroddi, L
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (06): : 844 - 854
[45] Extended Place-Invariant Control in Automated Manufacturing Systems Using Petri Nets
Chen, Chen
Hu, Hesuan
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (03): : 1807 - 1822
[46] Rewritable Petri nets: Rewritable place and properties analysis
Pang, Shan-Chen
Lin, Chuang
Jisuanji Xuebao/Chinese Journal of Computers, 2012, 35 (10): : 2182 - 2193
[47] Distributed diagnosis of place-bordered Petri nets
Genc, Sahika
Lafortune, Stephane
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (02) : 206 - 219
[48] Calculating place capacity for Petri nets using unfoldings
Miyamoto, T
Kumagai, S
1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 143 - 151
[49] Optimal Supervisory Control for Flexible Manufacturing Systems Model With Petri Nets: A Place-Transition Control
Bashir, Muhammad
Zhou, Jian
Muhammad, Bashir Bala
IEEE ACCESS, 2021, 9 : 58566 - 58578
[50] The Algorithm of Color Petri Nets Transform into the Place/Transition Nets and its Implementation
Li Wen-jing
Yang Wen
Li Shuang
Liao Wei-zhi
2012 11TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2012, : 461 - 465

← 1 2 3 4 5 →