Modeling and Optimizing of Traffic Signal Control Based on Timed Colored Petri Nets. - Li, Xuan; Yang, Linjian; Li, Huan; Chen, Pei; An, Yisheng (2018)