A comparative analysis of the successive lumping and the lattice path counting algorithms. (March 2016)