| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
11/06/1996 |
|
Data da última atualização: |
25/03/2011 |
|
Autoria: |
BARROSO, G. C.; LIMA, A. M. N.; PERKUSICH, A. |
|
Afiliação: |
GIOVANNI C. BARROSO, UFPB; ANTONIO M. N. LIMA, UFPB; ANGELO PERKUSICH, UFPB. |
|
Título: |
Modular synthesis of supervisors based on a Petri net approach. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
|
Volume: |
v.2 |
|
Páginas: |
p. 965-976. |
|
Idioma: |
Inglês |
|
Conteúdo: |
This paper presents a modular synthesis approach based on a class of modular Petri nets named G-Nets, conceived to be employed with the Supervisory Control Theory (SCT). Two algorithms are presented, and the supervisor synthesis is obtained by processing both the system and specification models through these algorithms. These algorithms make possible to obtain the controller of a discrete event system based on a given specification. Moreover its simplicity and efficiency are demonstrated using a typical manufacturing cell problem. |
|
Palavras-Chave: |
Algoritmos; Redes de Petri. |
|
Thesaurus Nal: |
Algorithms. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01188naa a2200205 a 4500
001 1002677
005 2011-03-25
008 1995 bl uuuu u00u1 u #d
100 1 $aBARROSO, G. C.
245 $aModular synthesis of supervisors based on a Petri net approach.
260 $c1995
300 $ap. 965-976. v.2
490 $vv.2
520 $aThis paper presents a modular synthesis approach based on a class of modular Petri nets named G-Nets, conceived to be employed with the Supervisory Control Theory (SCT). Two algorithms are presented, and the supervisor synthesis is obtained by processing both the system and specification models through these algorithms. These algorithms make possible to obtain the controller of a discrete event system based on a given specification. Moreover its simplicity and efficiency are demonstrated using a typical manufacturing cell problem.
650 $aAlgorithms
653 $aAlgoritmos
653 $aRedes de Petri
700 1 $aLIMA, A. M. N.
700 1 $aPERKUSICH, A.
773 $tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 3 | |
| 1. |  | GASPAROTTO, F. A.; NAVARRETE, A. A.; SOUZA, F. A. de; TSAI, S. M. Técnicas moleculares aplicadas ao estudo de micorrizas. In: SIQUEIRA, J. O.; SOUZA, F. A. de; CARDOSO, E. J. B. N.; TSAI, S. M. (Ed.). Micorrizas: 30 anos de pesquisas no Brasil. Lavras: UFLA, 2010. cap. 19, p. 551-581.| Tipo: Capítulo em Livro Técnico-Científico |
| Biblioteca(s): Embrapa Milho e Sorgo. |
|    |
| 2. | | GASPAROTTO, F.; VIDA, J. B.; VERZIGNASSI, J. R.; BONALDO, S. M.; TESSMANN, D. J.; COLELLA, J. C. T. Caracterização sintomatológica de Didymella bryoniae em meloeiro nobre. Summa Phytopathologica, Botucatu, v. 33, p. S.42, 2007. Suplemento. Título em inglês: Symptons of gummy stem bligth in muskmelon.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Amazônia Oriental. |
|  |
| 3. | | JESUS, D. R.; BARBOSA, L. N.; PRANDO, T. B. L.; MARTINS, L. F.; GASPAROTTO, F.; GUEDES, K. M. R.; DRAGUNSKI, D. C.; LOURENÇO, E. L. B.; DALSENTER, P. R.; GASPAROTTO JUNIOR, A. Ninety-day oral toxicity assessment of an alternative biopolymer for controlled release drug delivery systems obtained from cassava starch acetate. Evidence-Based Complementary and Alternative Medicine, 2015.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Pantanal. |
| |
| Registros recuperados : 3 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
