화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.61, No.7, 1953-1958, 2016
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions