Hybrid Petri nets for the performance analysis of transportation systems | IEEE Conference Publication | IEEE Xplore