Perimeter Control and Route Guidance of Multi-Region MFD Systems With Boundary Queues Using Colored Petri Nets | IEEE Journals & Magazine | IEEE Xplore