Modelling and analysis of oversaturated intersections using jointly hybrid Petri net and hybrid automata