A Timed Petri Nets Model for Intermodal Freight Transport Terminals