A multimodal transportation system: Hybrid Petri net-based modeling and simulation | IEEE Conference Publication | IEEE Xplore