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) |
|