Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems | IEEE Conference Publication | IEEE Xplore