Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems

Timed Petri net (TPN) has been utilized as a visual formalism for the modeling of complex discrete event dynamic systems. It illuminates the features on describing properties of causality and concurrency. Moreover, it is well-known that synchronized timed Petri net (STPN) allows us to present all of the concurrent states in complex TPN. In this paper, we propose a new methodology to design, analyze and implement an urban traffic network control system by using STPN. The applications of STPN to eight-phase, six-phase and two-phase traffic lights are illustrated. The advantage of the proposed approach is the clear presentation of traffic lights´ behaviors in terms of conditions and events that cause the phases alternations. Moreover, the reach ability and reversibility properties of the control STPN will be obtained.