Ryosuke Nakamura, Kenji Sawada, Seiichi Shin, Kenji Kumagai, Hisato Yoneda. Model reformulation for conflict-free routing problems using Petri Net and Deterministic Finite Automaton. Artif. Life Robotics, 20(3):262-269, 2015. [doi]
Abstract is missing.