DEVS modeling of urban traffic systems (WIP)

Abstract

Modeling an urban traffic system (UTS) is one of the most important procedures for solving traffic congestion problems. In this paper, UTS is modeled using the Discrete Event System Specification (DEVS) formalism, which is one of the most powerful methodologies for discrete event systems. The traffic system is analyzed using two main components: a road segment and an intersection. The road segments are viewed as conveyors and intersections are seen as diverters, which are used widely in automatic material handling systems of factories or warehouses. This interpretation was validated through executions in a DEVS simulator. Some modeling formalism issues also are discussed, which can improve the modeling power and usability are also discussed.