Feedback control of Petri nets based on place invariants

被引：377

作者：

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 [J].