Formal model for micro-scale traffic simulation and control

New traffic control strategies require new approaches in computer traffic simulations. To observe and control a realistic traffic flow a micro scale simulation is necessary. The simulation to be performed properly must base on precise model. That model should be simple, extensible and also should allow for mapping all important elements for the vehicles control and dynamic traffic simulation. In this paper we describe such a model which can be successfully used to simulate the micro-scale traffic. We also present a graphical tool for creation and edition of intersections. Moreover we present a simulation platform which uses the proposed model.