Resource-oriented Petri nets in deadlock avoidance of AGV systems | IEEE Conference Publication | IEEE Xplore