円は状態を表し,確率を付記した矢印は遷移を表す。通常,ある状態からそれと同じ状態に向かう矢印は表示しないが,この例では完全なものにするために表示している。すると,次の連立方程式で表すことができる。3P20.02P30.01P95.01P++=(B.1)3P60.02P65.01P04.02P++=(B.2)3P20.02P05.01P01.03P++=(B.3)これら三つの式は独立していないので,三つの未知数を解けない。次の式(B.4)を用いて,上記の式の一つを無視する。%は故障している状態にある。並列で動作する二つのアイテムを考える。システムが機能するためには,いずれかが動作する必要がある。アイテムは,動作可能状態又は故障している状態のいずれかしかなく,システムのアベイラビリティは,アイテムの状態に依存する。状態は,次のように考えることができる。両アイテムとも正常に機能可能である。一方のアイテムは故障している状態で修理中,他方は機能可能状態である。両アイテムとも故障している状態で,一方は修理中である。