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

• Ano de defesa: 2008
• Autor(a) principal: Scolari, Ana Paula Salengui
• Orientador(a): Fernandes, Paulo Henrique Lemelle
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontifícia Universidade Católica do Rio Grande do Sul; Porto Alegre
• Palavras-chave em Português: INFORMÁTICA; MODELAGEM DE SISTEMAS; AVALIAÇÃO DE DESEMPENHO (INFORMÁTICA); REDES DE AUTÔMATOS ESTOCÁSTICOS; REDES DE PETRI; ALGORITMOS
• Link de acesso: http://hdl.handle.net/10923/1646

Modeling formalisms are languages capable of describing a system behavior in a non ambiguous way, allowing its quantitative evaluation. The structured formalisms can represent large and complex models in a systematic manner. However, the modeling of systems with such characteristics is still a problem, since the space state explosion is often a known issue. Usually, structured formalisms with discrete state space present a large number of unreachable states. This work presents an algorithm able to generate and storing the reachable space state of a Stochastic Automata Network (SAN) using Multi-valued Decision Diagram (MDD). This new technique aims to mainly verify that the applicability of MDD for SAN is a valuable approach.