Proceeding from the 2006 workshop on Tools for solving structured Markov chains