1 有人可以建议最近对产品形式的马尔可夫链进行一次调查吗？ 我对它们在模型检查应用程序中的使用特别感兴趣。Baskett等人提供了具有不同类别客户的开放，封闭和混合队列网络。还有其他阅读材料的建议吗？谢谢。 11 reference-request markov-chains queueing-theory model-checking