Partial Order Reduction on the Ambient Calculus for Modeling Intra-regional Truck Transportation

We are working on a system that simulates the delivery routes of cargoes with the aim of improving the loading efficiency of truck freight transportation. To this aim we are using the ambient calculus, a family of process algebra, for modeling freight systems. The simulator generates all possible delivery plans consolidating cargoes by the function of enumerating all non-deterministic choice in processes. However, using naive methods to plan all consolidation patterns could easily lead to a combinatorial explosion problem. Therefore, we propose an algorithm that applies a method called partial order reduction that is usually used in model checking, so that we can simulate intra-regional medium-lot cargo transportation systems on a practical scale.