DocumentCode
777940
Title
Decidability and closure properties of weak Petri net languages in supervisory control
Author
Giua, Alessandro ; DiCesare, Frank
Author_Institution
Istituto di Elettrotecnica, Cagliari Univ., Italy
Volume
40
Issue
5
fYear
1995
fDate
5/1/1995 12:00:00 AM
Firstpage
906
Lastpage
910
Abstract
We extend the class of control problems that can be modeled by Petri nets considering the notion of weak terminal behavior. Deterministic weak languages represent closed-loop terminal behaviors that may be enforced by nonblocking Petri net supervisors if controllable. The class of deterministic weak PN languages is not closed under the supremal controllable sublanguage operator
Keywords
Petri nets; closed loop systems; control system analysis; controllability; decidability; formal languages; closed-loop terminal behaviors; closure properties; controllability; decidability; deterministic weak languages; nonblocking Petri net supervisors; supervisory control; weak Petri net languages; Automatic control; Channel capacity; Computer science; Controllability; Counting circuits; Petri nets; Supervisory control;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/9.384227
Filename
384227
Link To Document