Estou especialmente interessado em seu uso em aplicativos de verificação de modelo. Tenho redes abertas, fechadas e mistas de filas com diferentes classes de clientes por Baskett et al. Alguma outra sugestão para ler material? Obrigado.
reference-request
markov-chains
queueing-theory
model-checking
Aaron Sterling
fonte
fonte
Respostas:
Há este livro não publicado de Aldous e Fill, dois especialistas na área. Você encontrará passeios sobre produtos de correntes por lá.
fonte