ケリーネットワークの定常状態確率とジャクソンネットワークの定常状態確率(2)

ケリーネットワークの定常状態確率とジャクソンネットワークの定常状態確率(1)」の続きです。


次にステーションsの全てのジョブのクラスが任意のクラスである場合の確率を

  • P(S[s(all:all)])

で表します。上と同様に考えると

  • P(S[s(all:all)])=p_0\prod_{j=1,j{\ne}s}^N\frac{m_j^{G_j}}{G_j!}\prod_{i=1}^{k_j}u_{jc(j,i)}{\times}\frac{m_s^{G_s}}{G_s!}u_s^{k_s}・・・・・・(9)

となります。

  • \frac{m_s^{G_s}}{G_s!}u_s^{k_s}

の部分は「M/M/mにおける待ち時間の式の導出(2)」の式(10)(12)と、規格化定数を除いて等価であるので

  • \frac{m_s^{G_s}}{G_s!}u_s^{k_s}=\frac{1}{p_{0s}}p\{M/M/m_s,u_s\}(k_s)・・・・・・(10)

と書くことが出来ます。ただし

  • p_{0s}

は規格化定数であり、

  • p\{M/M/m_s,u_s\}(k_s)

はM/M/m待ち行列において利用率u_sジョブk_sの場合の定常状態確率を表しています。よって式(9)は

  • P(S[s(all:all)])=p_0\prod_{j=1,j{\ne}s}^N\frac{m_j^{G_j}}{G_j!}\prod_{i=1}^{k_j}u_{jc(j,i)}{\times}\frac{1}{p_{0s}}p\{M/M/m_s,u_s\}(k_s)・・・・・・(11)

となります。


次に、全ステーションの全てのジョブのクラスが任意のクラスである場合の確率を

  • P(S[all(all:all)])

で表す。式(11)と同様に考えて

  • P(S[all(all:all)])=p_0\prod_{j=1}^N\frac{1}{p_{0j}}p\{M/M/m_j,u_j\}(k_j)・・・・・・(12)

状態P(S[all(all:all)])ジョブのクラスをまったく考慮していませんから、ジャクソンネットワークと同じように状態の和S[all(all:all)]を改めて1つの大きな状態とみなし、これを、各ステーションでのジョブk_jからなるベクトル\vec~kで表すと

  • P(\vec~k)=p_0\prod_{j=1}^N\frac{1}{p_{0j}}p\{M/M/m_j,u_j\}(k_j)・・・・・・(13)

と書くことが出来ます。規格化定数を求めるために全ての状態について確率の和をとると

  • \Bigsum_{k_1=0}^{\infty}\Bigsum_{k_2=0}^{\infty}・・・\Bigsum_{k_N=0}^{\infty}P(\vec~k)=p_0\prod_{j=1}^N\frac{1}{p_{0j}}\Bigsum_{k_j=0}^{\infty}p\{M/M/m_j,u_j\}(k_j)・・・・・・(14)

ところで全確率の公式から

  • \Bigsum_{k_j=0}^{\infty}p\{M/M/m_j,u_j\}(k_j)=1

なので式(14)は

  • \Bigsum_{k_1=0}^{\infty}\Bigsum_{k_2=0}^{\infty}・・・\Bigsum_{k_N=0}^{\infty}P(\vec~k)=p_0\prod_{j=1}^N\frac{1}{p_{0j}}・・・・・・(15)

式(15)の左辺は、やはり全確率の公式から1に等しくなければならないので

  • p_0\prod_{j=1}^N\frac{1}{p_{0j}}=1・・・・・・(16)

式(16)を式(13)に代入すれば

  • P(\vec~k)=\prod_{j=1}^Np\{M/M/m_j,u_j\}(k_j)・・・・・・(17)

これは「ジャクソンネットワークの積形式解の存在(3)」の式(22)と同じです。
このことは、
「ケリーネットワークでジョブのクラスを無視して各ステーションでのジョブ数だけで状態を区別するとしたら、その状態の定常状態確率はジャクソンネットワークの定常状態確率に等しい」
ということを意味します。