到着定理

【とうちゃくていり (arrival theorem)】

待ち行列ネットワークにおいて, 1つのノードに到着した客が到着直前に見るネットワーク状態の分布が任意時点の状態分布と一致することを示す定理. 閉鎖型ネットワークの場合には, 任意時点の分布として(到着した客を除いたことに相当する)客が1人少ない閉鎖型ネットワークの定常分布を使う. 一般に, すべてのノードが準可逆である積形式ネットワークで成立する. PASTA (Poisson arrivals see time averages) のネットワーク版である.