マルコフ連鎖からの製品に関する最近の調査を誰かが提案できますか？

特に、モデルチェックアプリケーションでの使用に興味があります。Baskett et al。による、異なるクラスの顧客を持つキューのオープン、クローズ、および混合ネットワークがあります。資料を読むための他の提案はありますか？ありがとう。

この未公開の本は、2人の専門家であるAldousとFillによるものです。チェーンの製品に関するウォークがあります。