화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.61, No.9, 2448-2462, 2016
On the Equivalence of Observation Structures for Petri Net Generators