A Logistics Simulator with the Ambient Calculus for Modeling Intra-Regional Truck Transportation | IEEE Conference Publication | IEEE Xplore