DocumentCode
2403567
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
fYear
1992
fDate
1992
Firstpage
3380
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1992., Proceedings of the 31st IEEE Conference on
Conference_Location
Tucson, AZ
Print_ISBN
0-7803-0872-7
Type
conf
DOI
10.1109/CDC.1992.371011
Filename
371011
Link To Document