Modelling and control urban traffic networks by means of hybrid Petri nets