"萩原一郎,Aized Tauseef,高橋宏治,森村浩明","Colored Petri Net Based Modeling and Analysis an integrated Automated Guide Vehicle System","日本計算工学会","計算工学講演会論文集","日本計算工学会","Vol. 12","No. 1",,2007,May