Compute the paths valid for a given CTMC system