Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles | IEEE Conference Publication | IEEE Xplore