Análise da propriedade distância síncrona na Rede GHENeSys.

Detalhes bibliográficos
Ano de defesa: 1998
Autor(a) principal: Monnerat, Nelson Luiz de Paula Menezes
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-21022024-104417/
Resumo: As redes de Petri têm sido utilizadas ma modelagem de sistemas de eventos discretos, porém em sistemas mais complexos os modelos crescem e a capacidade de compreensão e visualização caem, tornando muitas vezes inviável o seu emprego para análise. As Redes Estendidas aparecem como solução para sistemas complexos, sendo baseadas em dobramentos sobre a mesma estrutura da rede de Petri original. A Rede GHENeSys é uma rede de Petri estendida derivada do PFS/MFG (Mark Flow Graph) com a introdução de conceitos orientados a objetos onde são definidas duas super-classes; box e atividade. No presente trabalho definimos a propriedade Distância Sícrona para a rede GHENeSys e como seu valor é alterado devido às classes derivadas das super-classes box e atividade.