A Review on the Applications of Petri Nets in Modeling, Analysis, and Control of Urban Traffic | IEEE Journals & Magazine | IEEE Xplore