Abstract
This paper designs a rerouting system for preventing large-scale urban traffic congestion by adopting traffic lights and dynamic message signs. The system can not only stop the vehicles driving toward the traffic jams but also recommend vehicles of driving to some directions at signalized intersections or the U-turn road section. As a visual and mathematical formalism of modeling discrete-event dynamic systems, timed Petri nets (TPNs) can describe the control and cooperation of traffic lights and dynamic message signs. The behavioral properties of the rerouting system such as reachability, boundedness, liveness, and reversibility are verified based on TPN. Besides, the correctness of the system without any traffic flow conflict is ensured. A case study is given to illustrate our method.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
