Petri Net-based control of the material handling flow path for automated guided vehicles | IEEE Conference Publication | IEEE Xplore