Title :
On the existence of Petri net supervisors
Author :
Giua, Alessandro ; DiCesare, Frank
Author_Institution :
Dept. of Electr.-Comput.-Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA
Abstract :
The use of Petri net languages in supervisory control theory is discussed. It is shown that the trimming of an unbounded Petri net is not always possible. A class of Petri net languages, which may be generated by nonblocking generators, is defined. Necessary and sufficient conditions for the existence of a Petri net supervisor, under the hypothesis that the system´s behavior and the legal behavior are both Petri net languages, are derived
Keywords :
Petri nets; control system synthesis; formal languages; Petri net languages; necessary and sufficient conditions; nonblocking generators; supervisor existence; supervisory control theory; unbounded Petri net trimming; Automata; Control systems; Control theory; Discrete event systems; Formal languages; Law; Legal factors; Sufficient conditions; Supervisory control; Systems engineering and theory;
Conference_Titel :
Decision and Control, 1992., Proceedings of the 31st IEEE Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-0872-7
DOI :
10.1109/CDC.1992.371011
