The Impact of ICT on an Intermodal Transportation System: an Analysis by Petri Nets