Title :
Feedback control of Petri nets based on place invariants
Author :
Moody, John ; Yamalidou, Katerina ; Lemmon, Michael ; Antsaklis, Panos
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Abstract :
This paper describes a method for constructing a Petri net feedback controller for a discrete event system modeled by a Petri net. The controller enforces a set of linear constraints on the plant and consists of places and arcs. It is computed using the concept of Petri net place invariants. The size of the controller is proportional to the number of constraints which must be satisfied. The method is very attractive computationally, and it makes possible the systematic design of Petri net controllers for complex industrial systems
Keywords :
Petri nets; discrete event systems; feedback; formal specification; large-scale systems; Petri nets; complex industrial systems; discrete event system; feedback controller; linear constraints; logic design specification; place invariants; Adaptive control; Computer industry; Control systems; Discrete event systems; Electrical equipment industry; Feedback control; Industrial control; Petri nets; Proportional control; Size control;
Conference_Titel :
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-7803-1968-0
DOI :
10.1109/CDC.1994.411308
