화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.40, No.5, 906-910, 1995
Decidability and Closure-Properties of Weak Petri-Net Languages in Supervisory Control
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.