A Control-Oriented Model of Urban Traffic Behaviour based on Hybrid Petri Nets