Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles.