Integrating ICT into Logistics Intermodal Systems: A petri net model of the Trieste port | IEEE Conference Publication | IEEE Xplore