| |
|
|
|
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 : 368 | |
| 106. |  | FARIA, D. A.; TANNO, P.; REIS, A.; MARTINS, A.; FERREIRA, M. E.; GRATTAPAGLIA, D. Genotyping-by-Sequencing (GbS) the highly heterozygous genome of eucalyptus provides large numbers of high quality genome-wide SNPs. In: INTERNATIONAL PLANT & ANIMAL GENOME, 20., 2012, San Diego. Abstract... Jersey City: Scherago International, 2012. P0521.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
|    |
| 111. | | FERREIRA, M. E.; SATAGOPAN, J.; YANDELL, B. S.; WILLIAMS, P. H.; OSBORN, T. C. Genetics and mapping of loci controlling vernalization requirement and days to flower in rapeseed (Brassica napus L.). Theoretical and Applied Genetics, Berlin, v.90, n.5, p.727-732, 1995. p.727-732| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
| |
| Registros recuperados : 368 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
