Análise de invariantes na rede de Petri Ghenesys.

• Autor(a) principal: Song, San Woei
• Data de Publicação: 1997
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
• Texto Completo: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-02052024-103417/
• topic: Petri nets; Redes de Petri

Análise de invariantes é uma das formas de verificação de propriedades em redes de Petri. Faz parte dos chamados métodos estruturais de análise, pois depende apenas da estrutura da rede e não da sua marcação inicial. As vantagens da análise de invariantes sobre outras formas de análise são a possibilidade de se estudar o comportamento de subredes, sem a necessidade de se conhecer o comportamento da rede como um todo, e a utilização de algoritmos conhecidos de Álgebra Linear facilitando os cálculos. A rede estendida Ghenesys é baseada na metodologia PFS/MFG com a introdução de conceitos de orientação a objetos. Entre outras modificações, a rede Ghenesys possui uma equação de estado, o que permite a sua simulação em qualquer nível de abstração e, como é mostrado neste trabalho, permite também a aplicação da análise de invariantes. É mostrado também que, devido à forma estruturada e hierárquica da rede Ghenesys, é possível fazer-se a análise de forma estruturada também, o que é uma vantagem deste método, tanto em termos de desenvolvimento e interpretação como em termos computacionais. Finalmente, o cálculo de invariantes é aplicado num exemplo de rede Ghenesys para validar o método proposto.