|
|
Registro Completo |
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. MenosA 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 f... Mostrar Tudo |
Palavras-Chave: |
Analysis; Ferramentas; Instruments; Nets; Petri net; PN; Redes; Simulation; Tools. |
Thesagro: |
Análise; Simulação. |
Categoria do assunto: |
-- |
Marc: |
LEADER 02444naa a2200349 a 4500 001 1026923 005 1999-12-22 008 1995 bl uuuu u00u1 u #d 100 1 $aFERREIRA, M. E. 245 $aFerramentas para analise e simulacao de redes de petri. 260 $c1995 300 $ap.349. v.2 490 $vv.2 500 $aRef.7.84. 520 $aA 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. 650 $aAnálise 650 $aSimulação 653 $aAnalysis 653 $aFerramentas 653 $aInstruments 653 $aNets 653 $aPetri net 653 $aPN 653 $aRedes 653 $aSimulation 653 $aTools 700 1 $aNAKAMURA, E. K. 700 1 $aPORTO, A. J. V. 700 1 $aINAMASU, R. Y. 700 1 $aGUIMARAES 700 1 $aJ. O. 773 $tIn: SIMPOSIO DE INICIACAO CIENTIFICA DA UNIVERSIDADE DE SAO PAULO, 3., dez. 1995, Sao Carlos, SP. Resumos... Sao Carlos: USP-EESC, 1995.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Instrumentação (CNPDIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registros recuperados : 57 | |
7. | | TABILE, R. A.; INAMASU, R. Y.; PORTO, A. J. V. Robótica na agricultura de precisão. In: INAMASU, R. Y.; NAIME, J. de M.; RESENDE, A. V. de; BASSOI, L. H.; BERNARDI, A. de C. (Ed.). Agricultura de precisão: um novo olhar. São Carlos, SP: Embrapa Instrumentação, 2011. p. 120-125.Tipo: Capítulo em Livro Técnico-Científico |
Biblioteca(s): Embrapa Instrumentação. |
| |
9. | | GODOY, E. P.; SOUSA, R. V. de; PORTO, A. J. V.; INAMASU, R. Y. Application of a sampling time scheduling for the optimization of distributed control system based on can protocol. In: BRAZILIAN CONFERENCE ON DYNAMICS, CONTROL AND THEIR APPLICATIONS, 5.; CONGRESSO TEMÁTICO DE DINÃMICA, CONTROLE E APLICAÇÕES, 2006, Guaratinguetá, SP - Brazil; DINCON 2006. Guaratinguetá: UNESP, 2006. 1 CD-ROM.Biblioteca(s): Embrapa Instrumentação. |
| |
Registros recuperados : 57 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|