Utilização de Diagramas de Decisão Multi-Valorada para representação do espaço de estados atingível em Redes de Autômatos Estocásticos