A Probabilistic Eulerian Traffic Model for the Coordination of Multiple AGVs in Automatic Warehouses