Abstract
This paper proposes a methodology to categorize drivers' behaviors at a congested signalized intersection. As a discrete event system model, timed Petri nets (TPNs) are used in this paper to formally define two kinds of behaviors: non-jam-induced driving behavior and jam-induced one. In order to systematically assess the performances of both behaviors, a new urban traffic network model is built: a cell transmission model is used to depict the road link traffic that is consistent with the kinematic property of traffic flow, and TPNs are used to model the behaviors and the conflicting traffic flow at the intersection. Some simulation results are given to evaluate the impact of driving behavior on the traffic delay.