Hybrid modelling of transportation systems by means of Petri nets