Modeling and Analysis of Urban Traffic System Based on Colored Petri Nets. - Xin Liang; Yuang Dang; Yifan Hou (ICNSC, 2021)