An urban traffic network of signalized intersections can be suitably modeled as discrete event system, in which the traffic light alternations are described by means of timed coloured Petri nets (TCPN). In this paper, a model of such a network via TCPN is used to state and solve the problem of coordinating several traffic lights. Moreover, some relevant experimental results are presented and discussed. The analysis of the control TCPN models is performed by occurrence graphs (OG) method. And then the relation of the liveness and reversibility of the control TCPN nets will be obtained. Finally, an urban traffic lights' control structure with nine intersections will be realized