Abstract
In this paper, an urban transportation network is considered to be a hybrid system, so including both continuous-time and discrete-event components. A formal model of a road junction with a two-phase signal control is developed using First-Order Hybrid Petri Nets, a special class of hybrid Petri nets. Based on such a model, a two-level regulation scheme is designed, which realizes traffic control at signalized intersections by minimizing the vehicle queue lengths. The proposed approach is modular, since the model of a general traffic network results from the composition of the basic modules describing the dynamics of the single intersections.
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.
