1 マルコフ連鎖からの製品に関する最近の調査を誰かが提案できますか？ 特に、モデルチェックアプリケーションでの使用に興味があります。Baskett et al。による、異なるクラスの顧客を持つキューのオープン、クローズ、および混合ネットワークがあります。資料を読むための他の提案はありますか？ありがとう。 11 reference-request markov-chains queueing-theory model-checking