A Timed Petri Nets Model for Performance Evaluation of Intermodal Freight Transport Terminals | IEEE Journals & Magazine | IEEE Xplore