Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets | IEEE Conference Publication | IEEE Xplore