Title :
A method for the synthesis of liveness enforcing supervisors in Petri nets
Author :
Iordache, Marian V. ; Moody, John O. ; Antsaklis, Panos J.
Author_Institution :
Dept. of Electr. Eng., Notre Dame Univ., IN, USA
Abstract :
Given an arbitrary Petri net structure, which may have uncontrollable and unobservable transitions and may be unbounded, the procedure described in this paper generates a supervisor for liveness enforcement. The supervisor is specified as a conjunction of linear marking inequalities. For all initial markings satisfying the linear marking inequalities, the supervised Petri net is live. Moreover, the supervision is least restrictive in the fully controllable and observable case
Keywords :
Petri nets; control system synthesis; controllability; observability; Petri net structure; controllability; linear marking inequalities; liveness enforcing supervisors synthesis; observability; supervised Petri net; supervision; unbounded Petri net; uncontrollable transitions; unobservable transitions; Application software; Automata; Petri nets; System recovery;
Conference_Titel :
American Control Conference, 2001. Proceedings of the 2001
Conference_Location :
Arlington, VA
Print_ISBN :
0-7803-6495-3
DOI :
10.1109/ACC.2001.945768
