Computational Markovian analysis of large systems · Study