Naiqi Wu MengChu Zhou Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. 1193-1202 2005 35 IEEE Transactions on Systems, Man, and Cybernetics, Part B 6 http://dx.doi.org/10.1109/TSMCB.2005.850141 db/journals/tsmc/tsmcb35.html#WuZ05