Partial Order Reduction on the Ambient Calculus for Modeling Intra-regional Truck Transportation. - Toru Kato 002; Atsuya Maruyama (ICM, 2025)