Modeling of Urban Traffic Systems Based on Fluid Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore