Controller Design for Avoiding Collisions in Automated Guided Vehicle Systems via Labeled Petri Nets