Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise

• Marcos Moecke UFSC
• Jean Marie Farines UFSC

DOI: https://doi.org/10.5753/sbes.1992.25181

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.

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.