An optimization approach for congestion management for traffic signal control systems via first-order hybrid Petri nets | IEEE Conference Publication | IEEE Xplore