In this paper, we propose a methodology to model deadlock and overload. a traffic light system with eight-phase. The modeling tool isThe research topic of traffic signal control has been called statechart. Statechart has been utilized as a visual separated into two categories [16]:1) determining what formalism for the modeling of complex systems. It illuminates signal-indication sequence to follow in order to optimize the the features on describing properties of causality, concurrency, and synchronization. This paper focuses on the use of te perfora c 2) asertin how o ipement statecharts to model an eight-phase traffic lights control system. the signal-control logic. This paper is focused on the second The advantage of the proposed approach is the clear category. There is a vast amount of literature focused on presentation of traffic lights' behaviors in terms of conditions finding optimal control strategies [15] [24]. In order to and events that cause the phases alternations. Moreover, the implement or test any control strategies in a simulated paper also proposes a new modeling methodology, called environment, the control logic has to be translated into concurrent state graphs, that allows us to present all the concurrent states in complex statecharts. The analysis of the computer code. However, the published literature does not control models is performed to demonstrate how the models address the way in which the signal control logic is enforce the lights' transitions by reachability tree method. And implemented [16]. Our statecharts model can overcome this then the reachability and reversibility properties of the control drawback. In this paper, one can realize how to construct the statecharts will be obtained. traffic signal control logic by reachability states method.In the past decade, Finite State Machines (FSM's) have been used for the modeling of discrete event systems because