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 条

[1] A Survey of Petri Nets Supervision Based on Place Invariants
Wang, Shouguang
Yu, Junwen
Zhao, Liangxu
PROCEEDINGS OF ANNUAL CONFERENCE OF CHINA INSTITUTE OF COMMUNICATIONS, 2010, : 189 - 193
[2] USING PLACE INVARIANTS IN PETRI NETS FOR FUNCTIONAL DIAGNOSIS
VOLKOV, SI
MIRONOVSKII, LA
RESHETNIKOVA, NN
CYBERNETICS AND SYSTEMS ANALYSIS, 1992, 28 (01) : 78 - 83
[3] Petri nets and feedback control
Papik, Martin
Brozek, Jiri
Vanicek, Jiri
AGRARIAN PERSPECTIVES XVIII, VOLS 1 AND 2, 2009, : 609 - 613
[4] Reachability analysis of a class of Petri nets using place invariants and siphons
Zhang, Xiu Yan
Li, Zhi Wu
Zhong, Chun Fu
Al-Ahmari, Abdulrahman M.
MAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY, 2013, 7 (02) : 278 - 290
[5] Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
Dworzanski, Leonid W.
Lomazova, Irina A.
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2016, 2016, 9698 : 325 - 344
[6] Invariants of Timed Petri Nets
D. A. Zaitsev
Cybernetics and Systems Analysis, 2004, 40 (2) : 226 - 237
[7] ON THE INVARIANTS OF COLORED PETRI NETS
NARAHARI, Y
VISWANADHAM, N
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 330 - 345
[8] Exploiting place invariants in condensed state space construction for Coloured Petri Nets
Kristensen, LM
PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 661 - 667
[9] On generating a basis of invariants in Petri Nets
Bourjij, A
Boutayeb, M
Koenig, D
Cecchin, T
SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2228 - 2233
[10] Use of position invariants of the Petri nets
Volkov, S.I.
Mironovskij, L.A.
Reshetnikov, N.N.
Kibernetika i Vychislitel'naya Tekhnika, 1992, (01): : 92 - 99

← 1 2 3 4 5 →