@inproceedings{f0a90c709eb24be1bfa5d214eaf76dfb,
title = "Petri Net decomposition for deadlock avoidance routing for bi-directional AGV systems",
abstract = "In this paper, we propose a Petri Net decomposition approach for dynamic dispatching and routing for bi-directional AGV systems. For dynamic dispatching and routing, the static problem to determine an optimal firing sequence problem for Petri Net is solved repeatedly. A Petri Net decomposition approach is applied to solve the optimal firing sequence problem efficiently. In the decomposition algorithm, the entire Petri Net is decomposed into task subnets and AGV subnets. The penalty function algorithm is used to coordinate the solution of each subnet. A deadlock avoidance policy for bi-directional lane is used to ensure the generation of conOict-free routing. Computational results show the effectiveness of the proposed Petri Net decomposition approach with deadlock avoidance policy for dynamic situations.",
keywords = "AGV routing, Deadlock avoidance, Decomposition, Optimization, Petri nets",
author = "Tatsushi Nishi and Yuki Tanaka and Yukinori Isoya",
year = "2010",
doi = "10.1109/ICSMC.2010.5641942",
language = "English",
isbn = "9781424465880",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
pages = "2453--2458",
booktitle = "2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010",
note = "2010 IEEE International Conference on Systems, Man and Cybernetics, SMC 2010 ; Conference date: 10-10-2010 Through 13-10-2010",
}