About this document
Urban Traffic Light Control Modeling by Hung is a document available to read on EtoBox.
The document summarizes a study that models urban traffic light control systems using Timed Coloured Petri Nets (Timed CP-nets). The study constructs a module of a basic traffic control system using Timed CP-nets that can be expanded to model more complex systems. It also implements a real-world model of an urban traffic light system consisting of three intersections with multiple phases. The analysis method of place invariants is verified on the models. Occurrence graphs are used to demonstrate how the mod
- Author
- Hung
- Language
- EN