A Hybrid Representation of Urban Traffic Networks using Multi-agent Systems and Petri Nets | IEEE Conference Publication | IEEE Xplore