Task 1 is devoted to the formalization of a real-world traffic control problem for AGVs circulating in an automatic warehouse and on the development of an efficient coordination strategy. In the first months of TRAFCON the traffic control problem has been mathematically formalized and the requirements that need to be satisfied have been defined. Furthermore, the coordination diagram, used for multi-robot coordination, has been extended for being adopted for modeling the problem of AGVs coordination. Finally a simulator that can reproduce the motion of a set of AGVs over a layout of a warehouse has been developed.