Feedback control of Petri nets based on place invariants

被引：370

作者：

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

共 22 条

[1] BOISSEL O, 1993, THESIS U NOTRE DAME
[2] DESIGN OF A FACTORY FLOOR SEQUENCE CONTROLLER FROM A HIGH-LEVEL SYSTEM SPECIFICATION
BOUCHER, TO
JAFARI, MA
[J]. JOURNAL OF MANUFACTURING SYSTEMS, 1992, 11 (06) : 401 - 417
[3] GIUA A, 1992, 1992 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1 AND 2, P974, DOI 10.1109/ICSMC.1992.271666
[4] BLOCKING AND CONTROLLABILITY OF PETRI NETS IN SUPERVISORY CONTROL
GIUA, A
DICESARE, F
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (04) : 818 - 823
[5] SYNTHESIS OF FEEDBACK-CONTROL LOGIC FOR A CLASS OF CONTROLLED PETRI NETS
HOLLOWAY, LE
KROGH, BH
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) : 514 - 523
[6] HOLLOWAY LE, 1994, LECT NOTES CONTROL I, V199, P158
[7] LAUTENBACH K, 1987, LECT NOTES COMPUT SC, V254, P142
[8] CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS .1. THE BASE MODEL
LI, Y
WONHAM, WM
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (08) : 1214 - 1227
[9] CONTROL OF VECTOR DISCRETE-EVENT SYSTEMS-II - CONTROLLER SYNTHESIS
LI, Y
WONHAM, WM
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (03) : 512 - 531
[10] LI Y, 1994, IEEE T AUTOMAT CONTR, V39, P1771

← 1 2 3 →