Naiqi Wu MengChu Zhou Resource-Oriented Petri Nets in Deadlock Avoidance of AGV Systems. 64-69 2001 conf/icra/2001 ICRA db/conf/icra/icra2001.html#WuZ01