Performance analysis of traffic control system based on stochastic timed Petri net models | IEEE Conference Publication | IEEE Xplore