1 누군가 Markov 체인 제품 형태에 대한 최근 설문 조사를 제안 할 수 있습니까? 특히 모델 확인 응용 프로그램에서의 사용에 관심이 있습니다. Baskett et al.에 의해 서로 다른 클래스의 고객을 가진 개방형, 폐쇄 형 및 혼합형 큐 네트워크가 있습니다. 자료 읽기에 대한 다른 제안? 감사. 11 reference-request markov-chains queueing-theory model-checking