Sistema computacional de representação e manipulação de redes de Petri (2006)
- Authors:
- Autor USP: ALVES, GUSTAVO RIBEIRO - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Subjects: REDES DE PETRI; LINGUAGENS FORMAIS; MONTADORES E COMPILADORES
- Language: Português
- Abstract: A forma através da qual um desenvolvedor manipula uma rede de Petri em um computador difere significativamente da forma com a qual a rede é representada em trabalhos acadêmicos. Esta diferença é suficiente para provocar uma perda considerável de produtividade quando do desenvolvimento de softwares baseados em redes de Petri, uma vez que o pesquisador de redes de Petri, muitas vezes, não está familiarizado com aspectos de sua representação computacional. Assim propõe-se a criação de um sistema que reduza a diferença entre estas através de uma nova representação computacional. O sistema proposto almeja seu objetivo através de dois desacoplamentos: separação entre a interface de manipulação da rede (acesso) e a descrição da rede (meta-rede); separação da interface de manipulação e seu armazenamento. É proposta ainda uma linguagem para descrição de redes de Petri suficientemente expressiva para a representação de ampla gama de redes.A diferença entre a forma com que o desenvolvedor manipula uma rede de Petri em um computador e a forma com que ele as manipula for a do mesmo é grande o suficiente para permitir uma perda considerável de produtividade quando do desenvolvimento de softwares baseados em redes de Petri. Desta maneira propôs-se a criação de um sistema que reduzisse a diferença entre estas. Este sistema faz isso através de dois desacoplamentos: separação entre a interface de manipulação da rede (interface de acesso) e da descrição da rede (meta-rede). O segundo desacoplamento é feito entre a interface de acesso e o método de armazenamento para permitir que uma mesma implementação do armazenamento de redes possa ser utilizada para todas as meta-redes possíveis. A linguagem de meta-rede proposta é suficiente para a representação de ampla gama de redes. Ela também é capaz de ser utilizada para a representação de grafos que necessitam de um conjunto de restrições nas conexões entre os nós
- Imprenta:
- Data da defesa: 29.06.2006
-
ABNT
ALVES, Gustavo Ribeiro. Sistema computacional de representação e manipulação de redes de Petri. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/. Acesso em: 09 jan. 2026. -
APA
Alves, G. R. (2006). Sistema computacional de representação e manipulação de redes de Petri (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/ -
NLM
Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2026 jan. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/ -
Vancouver
Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2026 jan. 09 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
