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
fDate :
5/1/1995 12:00:00 AM
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;
Journal_Title :
Automatic Control, IEEE Transactions on
