Markovian models and numerical analysis of computer system behavior · Study