A colored hybrid Petri net-based modeling approach for performance analysis of a multi-modal transportation system.