- 期刊
- OpenAccess
Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets
並列摘要
Petri nets have been utilized as a visual formalism for the modeling of complex system. It illuminates the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of Timed Coloured Petri nets (Timed CP-nets) to model a basic traffic control system. A module of basic traffic control system of Timed CP-nets model is successfully constructed. The advantage of the proposed approach is that any complicated traffic signal models will be easily obtained based on the module. Moreover, a real-world supervisor of the urban traffic light system, which consists of three intersections with multiple phases, is implemented by the new methodology. The analysis method of place invariant is verified. And the Occurrence Graphs (OG) is performed to demonstrate how the model enforces the signal lights’ transitions. To our knowledge, this is the first work that proposes the new modeling methodology to design the traffic light control systems by Timed CP-nets.