A Petri Net-Based Traffic Rerouting System by Adopting Traffic Lights and Dynamic Message Signs | IEEE Conference Publication | IEEE Xplore