Hybrid Petri Nets for the Performance Analysis of Transportation Systems