Modular Representation of Urban Traffic Systems based on Hybrid Petri Nets