Automated guided vehicle systems and their Petri-net properties. - Suhua Hsieh; Ying-Jer Shih (J. Intell. Manuf., 1992)