• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.3.1998.tde-21022024-104417
Documento
Autor
Nome completo
Nelson Luiz de Paula Menezes Monnerat
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 1998
Orientador
Banca examinadora
Silva, José Reinaldo (Presidente)
Costa, Anna Helena Reali
Miyagi, Paulo Eigi
Título em português
Análise da propriedade distância síncrona na Rede GHENeSys.
Palavras-chave em português
Engenharia mecânica
Redes de Petri
Resumo em português
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.
Título em inglês
Untitled in english
Palavras-chave em inglês
Mechanical engineering
Petri nets
Resumo em inglês
he Petri nets have been used to model discrete events systems, but in complex systems the number of elements in the graph is to big and its almost impossible to analyze or take conclusions over it. The Extended Nets are used as a way to solve this problem for complex systems. The GHENeSys Net is an extended Petri net derived from the PFS/MFG (Mark Flow Graph) introducing de concepts of objects, where are defined the two super-classes: box e activity. In this work well define the property Synchronic Distance for GHENeSys net and how its value is affected by the derived classes from the super-classes box and activity.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2024-02-21
 
AVISO: O material descrito abaixo refere-se a trabalhos decorrentes desta tese ou dissertação. O conteúdo desses trabalhos é de inteira responsabilidade do autor da tese ou dissertação.
  • SILVA, J. R., e MONNERAT, N. L. P. M. Matrizes inversas generalizadas: uma aplicação para verificação de condição de atingibilidade em redes de Petri. In 10 Congresso Brasileiro de Iniciação Científica e Tecnológica em Engenharia, São Carlos, 1991. CICTE-91., 1991. Resumo.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.