物流業界では2024年問題によるドライバーの人材不足や高齢化が懸念されている一方で，特に域内中ロット貨物輸送において，近隣の営業所であっても個別に配送計画を立るなど非効率なため，積載効率は約40%に留まっている．この問題に対し我々は，非決定性を陽に表現できるプロセス代数の性質を活かし，距離，方角，荷物の重量，種類などの条件を満す配送を非決定的に組み合わせ，効率的な輸送計画を立てる貨物輸送シミュレータを研究している．本稿では，物流システムのモデル化に適したAmbient Calculus(AC)の文法を拡張し,ACの式，即ち物流システムの代数式によるモデルを自動生成するシステムについて述べる．