Petri Net Decomposition Approach for Dispatching and Conflict-Free Routing of Bidirectional Automated Guided Vehicle Systems | IEEE Journals & Magazine | IEEE Xplore