@MASTERSTHESIS{ 2006:2012073942,
 	title = {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},
 	year = {2006},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5014",
 	abstract = "Formalismos de modelagem s?o linguagens capazes de descrever sistemas de forma n?o amb?g?a, permitindo a sua avalia??o quantitativa. Os formalismos conhecidos como estruturados permitem a representa??o sistem?tica de modelos grandes e complexos. Entretanto, na pr?tica, a modelagem de sistemas de tal porte pode apresentar o problema de explos?o do espa?o de estados. Em geral, a modelagem de sistemas atrav?s de formalismos estruturados, com espa?o de estados discreto, resulta em um grande n?mero de estados inating?veis. A gera??o e armazenamento dos estados n?o ating?veis ? um ?nus n?o desejado ao processo de modelagem. Este trabalho apresenta um algoritmo capaz de gerar e armazenar somente o espa?o de estados ating?vel (RSS) para o formalismo de Redes de Aut?matos Estoc?sticos (SAN) utilizando Diagramas de Decis?o Multi-Valorada (MDD). A id?ia principal ? apresentar uma primeira vers?o desse algoritmo, a m de comprovar a sua viabilidade para o formalismo SAN.",
 	publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul},
 	scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o},
 	note = {Faculdade de Inform?ca}
}