Detalhes bibliográficos
| Ano de defesa: |
2004 |
| Autor(a) principal: |
Ferraz, Patrícia |
| 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: |
http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/
|
Resumo: |
Rede de Petri é uma poderosa ferramenta de modelagem gráfica e matemática bastante aplicada no desenvolvimento de projetos de sistemas de eventos discretos. Porém a sua aplicação na análise e interpretação de tais sistemas torna-se inviável por resultar em modelos grandes, com muitos elementos gráficos. Para solucionar tal problema, vários pesquisadores têm concentrado esforços no desenvolvimento de novas extensões e métodos de síntese de rede de Petri, para reduzir o tamanho dos modelos e assim facilitar a sua aplicação e análise de sistemas grandes e complexos. Rede de Petri Virtual é uma nova extensão de rede de Petri que possibilita a modelagem de tais sistemas de forma modular. Cada elemento do sistema é representado por um módulo e a comunicação entre eles é feita através dos nós virtuais. Esse trabalho formaliza a definição de rede de Petri virtual, desenvolve algoritmo e procedimento de junção dos módulos para gerar o modelo final, uma rede de Petri ordinária que representa o sistema completo. |
