Epsilon-closure and DFA minimization algorithms for probabilistic NFA
Stefan Kiefer has some work on minimization of probabilistic automata. This should probably put you on the right track:
https://arxiv.org/abs/1404.6673.