Specifying truck movement in traffic models using cell-DEVS

A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modeler. Once the urban section is outlined, the traffic flow is automatically set up. In this case, the language was expanded to include the behavior of trucks. The models are formally specified, avoiding a high number of errors in the developed application, and the problem solving time can be reduced.