Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise
Resumo
A análise das propriedades das Redes de Petri a partir da árvore de alcançabilidade é uma das técnicas mais utilizadas. Entretanto, a explosão de estados no caso de sistemas mais complexos é um fator limitante desta. Neste trabalho, propomos um método de redução da árvore de alcançabilidade de redes Predicado/Transição, que preserva a capacidade de análise da árvore. Este método utilizada-se das simetrias da rede e da conseqlente remoção de subárvores análogas. A recuperação das informações suprimidas é possível a partir das funções de simetria que permitem a redução.
Palavras-chave:
Redes Pr/T, Árvore de Alcançabilidade, Análise de Comportamento, Redução
Referências
Bourguet, A., "A Petri net tool for service validation in protocol". Protocol Specitication, Testing and Verification VI, (1987), p:281-292.
Courtiat, J. "Contribution a la description formelle de protocoles". These Docteur-lngenjeur, Universite Paul Sabatier de Toulouse, France, (1987).
Diaz, M.: "Environnements Logiciels pour la conception des Protocoles dans les Systemes distribués". Anais do Seminário Franco Brasileiro em Sistemas Informáticos Distribuídos, Florianópolis, Brasil, (set, 1989), p:28-25.
Genrich, H. J.: "Predicate/Transition Nets". Lecture Notes in Computer Science, 254, (1987).
Haddad, S.: "Une catégoric Regulicre de réscau de Petri de Haut Niveau: definition, proprietes et réductions". The cteur-Informatique, Universite Paul et Marie Curie, Paris, France, (1987).
Huber, P.; Jensen, A. M.; Jepsen, L. Ó.; Jensen, K.; "Reachability Trees for High-level Petri Nets". Theoretical Computer Science, 45:261-292, (1986).
Lindqvist, M: "Paramctrized Reachability Trees for Predicate/Transition Nets". Proceedings of the 11th International Conference on_Aplication and Theory of Petri Nets, Paris, France, (jun. 1990), p:22-42.
Moecke, M.: "Um Método de Redução da Árvore de Alcancabilidade de Sistemas Modelados por Redes de Petri Piedicado/Transiglo, Mantendo a Capacidade de Análise". Dissertação de Mestrado, Universidade Federal de Santa Catarina, Florianópolis, (1991).
Petri, C. A: "Kommunikation mit Automaten". Schriften des Rhelnisch Westfalischen Institutes fur Instiumentelle Mathematik Nr. 3, Universitat Bonn, (1962).
Valmari, A: "Stubborn Sets for Reduced State Space Generation". Proceedings of the 10th International Conference on Aplication and Theory of Petri Nets, Bonn, West Germany, (jun. 1989), v.2, p:1-22.
Courtiat, J. "Contribution a la description formelle de protocoles". These Docteur-lngenjeur, Universite Paul Sabatier de Toulouse, France, (1987).
Diaz, M.: "Environnements Logiciels pour la conception des Protocoles dans les Systemes distribués". Anais do Seminário Franco Brasileiro em Sistemas Informáticos Distribuídos, Florianópolis, Brasil, (set, 1989), p:28-25.
Genrich, H. J.: "Predicate/Transition Nets". Lecture Notes in Computer Science, 254, (1987).
Haddad, S.: "Une catégoric Regulicre de réscau de Petri de Haut Niveau: definition, proprietes et réductions". The cteur-Informatique, Universite Paul et Marie Curie, Paris, France, (1987).
Huber, P.; Jensen, A. M.; Jepsen, L. Ó.; Jensen, K.; "Reachability Trees for High-level Petri Nets". Theoretical Computer Science, 45:261-292, (1986).
Lindqvist, M: "Paramctrized Reachability Trees for Predicate/Transition Nets". Proceedings of the 11th International Conference on_Aplication and Theory of Petri Nets, Paris, France, (jun. 1990), p:22-42.
Moecke, M.: "Um Método de Redução da Árvore de Alcancabilidade de Sistemas Modelados por Redes de Petri Piedicado/Transiglo, Mantendo a Capacidade de Análise". Dissertação de Mestrado, Universidade Federal de Santa Catarina, Florianópolis, (1991).
Petri, C. A: "Kommunikation mit Automaten". Schriften des Rhelnisch Westfalischen Institutes fur Instiumentelle Mathematik Nr. 3, Universitat Bonn, (1962).
Valmari, A: "Stubborn Sets for Reduced State Space Generation". Proceedings of the 10th International Conference on Aplication and Theory of Petri Nets, Bonn, West Germany, (jun. 1989), v.2, p:1-22.
Publicado
04/11/1992
Como Citar
MOECKE, Marcos; FARINES, Jean Marie.
Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1992
.
p. 157-170.
DOI: https://doi.org/10.5753/sbes.1992.25181.
