Parallel performance analysis of large Markov models