DocumentCode :
326882
Title :
Deadlock avoidance in Petri nets with uncontrollable transitions
Author :
Moody, John O. ; Antsaklis, Panos J.
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Volume :
2
fYear :
1998
fDate :
21-26 Jun 1998
Firstpage :
1257
Abstract :
Results in the literature have provided efficient control synthesis techniques for the problem of deadlock avoidance in Petri nets. These results are shown to fit within an established framework for the enforcement of linear constraints on the marking behavior of a net. Framing the problem in this way allows uncontrollable and of unobservable transitions to be included in the plant model when deadlock avoidance is performed
Keywords :
Petri nets; control system synthesis; discrete event systems; deadlock avoidance; linear constraints; marking behavior; uncontrollable transitions; unobservable transitions; Closed loop systems; Control system synthesis; Linear matrix inequalities; Petri nets; Supervisory control; System recovery; Vectors; Vents;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
American Control Conference, 1998. Proceedings of the 1998
Conference_Location :
Philadelphia, PA
ISSN :
0743-1619
Print_ISBN :
0-7803-4530-4
Type :
conf
DOI :
10.1109/ACC.1998.703616
Filename :
703616
Link To Document :
بازگشت