• 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
 
 
Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.3.1998.tde-21022024-104417
Document
Auteur
Nom complet
Nelson Luiz de Paula Menezes Monnerat
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 1998
Directeur
Jury
Silva, José Reinaldo (Président)
Costa, Anna Helena Reali
Miyagi, Paulo Eigi
Titre en portugais
Análise da propriedade distância síncrona na Rede GHENeSys.
Mots-clés en portugais
Engenharia mecânica
Redes de Petri
Resumé en portugais
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.
Titre en anglais
Untitled in english
Mots-clés en anglais
Mechanical engineering
Petri nets
Resumé en anglais
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.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Date de Publication
2024-02-21
 
AVERTISSEMENT: Le matériau se réfère à des documents provenant de cette thèse ou mémoire. Le contenu de ces documents est la responsabilité de l'auteur de la thèse ou mémoire.
  • 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.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.