到着定理

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

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