Petri net decomposition approach for bi-objective conflict-free routing for AGV systems | IEEE Conference Publication | IEEE Xplore