Urban traffic control structure based on hybrid Petri nets