Saya terutama tertarik pada penggunaannya dalam aplikasi pengecekan model. Saya memiliki Jaringan Antrian Terbuka, Tertutup dan Campuran dengan Kelas Pelanggan yang Berbeda oleh Baskett et al. Ada saran lain untuk bahan bacaan? Terima kasih.
reference-request
markov-chains
queueing-theory
model-checking
Aaron Sterling
sumber
sumber
Jawaban:
Ada ini buku tidak diterbitkan oleh Aldous dan Fill, dua ahli di lapangan. Anda akan menemukan jalan-jalan di produk rantai di sana.
sumber