A preliminary Petri net model of the transshipment processes in the Taranto container terminal | IEEE Conference Publication | IEEE Xplore