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 条

[31] MODELING BY PETRI-NET WITH PLACE INVARIANTS FOR SEQUENTIAL CONTROL-SYSTEMS
CAI, YG
NISHII, I
SEKIGUCHI, T
ELECTRICAL ENGINEERING IN JAPAN, 1995, 115 (05) : 100 - 111
[32] Hierarchies of place/transition refinements in Petri nets
Zuberek, WM
Bluemke, I
ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 355 - 360
[33] Place Bisimulation and Liveness for Open Petri Nets
Dong, Xiaoju
Fu, Yuxi
Varacca, Daniele
DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, 2016, 9984 : 1 - 17
[34] Relational Petri Nets with start/stop place
Karci, A
Arslan, A
SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS: WORKSHOPS, PROCEEDINGS, 2000, : 509 - 514
[35] Program solution of supervisory control based on Petri nets
Flochová, J
Hrúz, B
Jirsák, P
NEW TRENDS IN DESIGN OF CONTROL SYSTEMS 1997, 1998, : 323 - 327
[36] Hierarchical control of DES based on colored Petri nets
Wu, WM
Su, HY
Chu, J
Zhai, HF
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 1571 - 1576
[37] Implementation of traffic lights control based on Petri nets
Li, L
Tang, N
Mu, XY
Shi, FB
2003 IEEE INTELLIGENT TRANSPORTATION SYSTEMS PROCEEDINGS, VOLS. 1 & 2, 2003, : 1087 - 1090
[38] Control of batch processes based on hierarchical Petri nets
Yajima, T
Ito, T
Hashizume, S
Kurimoto, H
Onogi, K
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (11) : 2895 - 2904
[39] Research on Methods of Transformation of Petri Nets Systems into the Place/Transition Nets
Li, Wenjing
Yang, Wen
Liao, Weizhi
Li, Shuang
2012 THIRD GLOBAL CONGRESS ON INTELLIGENT SYSTEMS (GCIS 2012), 2012, : 233 - 236
[40] Fair control of Petri nets
Lin, YK
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1672 - 1677

← 1 2 3 4 5 →