Hybrid modelling of transportation systems by means of Petri nets | IEEE Conference Publication | IEEE Xplore