Я особенно заинтересован в их использовании в приложениях для проверки моделей. У меня есть открытые, закрытые и смешанные сети очередей с разными классами клиентов по Baskett et al. Любые другие предложения для чтения материала? Спасибо.
reference-request
markov-chains
queueing-theory
model-checking
Аарон Стерлинг
источник
источник
Ответы:
Есть эта неопубликованная книга Олдоса и Филла, двух экспертов в этой области. Там вы найдете прогулки по продукту цепей.
источник