Petri net decomposition approach for bi-objective conflict-free routing for AGV systems. - Shuhei Eda; Tatsushi Nishi; Toshisada Mariyama; Satomi Kataoka; Kazuya Shoda; Katsuhiko Matsumura (SMC, 2011)