• 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
 
 
Master's Dissertation
DOI
https://doi.org/10.11606/D.3.1998.tde-21022024-104417
Document
Author
Full name
Nelson Luiz de Paula Menezes Monnerat
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 1998
Supervisor
Committee
Silva, José Reinaldo (President)
Costa, Anna Helena Reali
Miyagi, Paulo Eigi
Title in Portuguese
Análise da propriedade distância síncrona na Rede GHENeSys.
Keywords in Portuguese
Engenharia mecânica
Redes de Petri
Abstract in Portuguese
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.
Title in English
Untitled in english
Keywords in English
Mechanical engineering
Petri nets
Abstract in English
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.
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
Publishing Date
2024-02-21
 
WARNING: The material described below relates to works resulting from this thesis or dissertation. The contents of these works are the author's responsibility.
  • 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.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2024. All rights reserved.