Data/hora: 02/06/2024 07:14:48

Biblioteca(s): | Embrapa Instrumentação.
Data corrente: | 22/12/1999
Data da última atualização: | 22/12/1999
Autoria: | FERREIRA, M. E.; NAKAMURA, E. K.; PORTO, A. J. V.; INAMASU, R. Y.; GUIMARAES; J. O.
Afiliação: | UFSCar; USP-EESC; EMBRAPA-CNPDIA.
Título: | Ferramentas para analise e simulacao de redes de petri.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SIMPOSIO DE INICIACAO CIENTIFICA DA UNIVERSIDADE DE SAO PAULO, 3., dez. 1995, Sao Carlos, SP. Resumos... Sao Carlos: USP-EESC, 1995.
Volume: | v.2
Páginas: | p.349.
Idioma: | Português
Notas: | Ref.7.84.
Conteúdo: | A rede de petri (PN) e uma ferramenta capaz de representar de maneira grafica os estados dinamicos dos elementos de um sistema e seus eventos relacionados. A PN possibilita tambem uma analise matematica rigorosa, permitindo a verificacao de algumas propriedades desejadas no sistema modelado. A representacao de todas as caracteristicas de PN torna-se simples atraves do uso da programacao orientada a objetos (OOP), ja que a OOP tem se mostrado uma poderosa ferramenta para analise e implementacao de sistemas, pois a modelagem fica bem proxima da otica do usuario. O trabalho tem como objetivo o projeto e a implementacao sistematica de classes de PN, subclasses e classes iteradoras atraves de ferramentas orientadas a objeto. Visando esse objetivo, efetuou-se um estudo de propriedades de PN, como alcancabilidade e vivacidade (livre de "dead lock") e metodos de analise, como arvore de alcancabilidade e matriz de incidencia. As classes de PN foram projetadas de modo a incluir os metodos de analise como membros de classe. Para a entrada e saida de dados dessas classes foram utilizadas as classes projetadas para o editor de PN apresentadas neste congresso. Utilizando-se o editor, obteve-se facilidade na entrada de dados e tambem uma saida atraves de animacao. As classes estao sendo implementadas no formato de biblioteca de ligacao dinamica (Dynamic Link Library-DDL) em C++ (Borland C++4.0) para ambiente Windows 3.1. Desse modo acredita-se que o resultado podera ser util em trabalhos futuros com a reutilizacao dessas classes.
Palavras-Chave: | Analysis; Ferramentas; Instruments; Nets; Petri net; PN; Redes; Simulation; Tools.
Thesagro: | Análise; Simulação.
Categoria do assunto: | --
Registro original: | Embrapa Instrumentação (CNPDIA)
Exemplares: | CNPDIA - (5487-1) - UPC - PL - -- - PROCI-95.00036 -  - 1995.00036 - DIS