Skip navigation
Home
Browse
Communities
& Collections
Pesquisar Itens por:
Issue Date
Author
Title
Subject
Documentos de Interesse
Termo de Autorizacao para Publicacao Eletronica
Termo de Deposito Embargado - Teses e Dissertacoes
Termo de Deposito Embargado - TCCs/Relatorio de Estagio
Rotulo do DVD
Capa do DVD
Resolucao 01/2017 - Criacao da BDTD da UFCG
Resolucao 02/2017 - Deposito de Teses e Dissertacoes
Fale Conosco
bdtd@ufcg.edu.br
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Biblioteca Digital de Teses e Dissertações da UFCG
Search
Search:
All of DSpace
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
CURSOS DE GRADUAÇÃO DO CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 11-20 of 24 (Search time: 0.003 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
Dec-1997
Uma ferramenta interativa baseada em redes de petri para modelagem, simulação e análise de sistemas complexos.
LIMA, Itamar de Souza.
16-Aug-1999
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
SILVA, Vanderley Pereira da.
Nov-2000
Verificação de receitas em sistemas de produção em lotes.
DIAS, Michel Coura.
Aug-2001
Aplicação de um modelo de navegação de IHM ao contexto de sistemas industriais.
SCAICO, Alexandre.
Aug-2001
Análise de controle de concorrência e escalonamento de transações em bancos de dados em tempo-real usando redes de petri.
RIBEIRO NETO, Pedro Fernandes.
30-Dec-1996
Um ambiente para edição e animação de sistemas de G-Nets.
MIRANDA, Márcia Verônica Costa.
26-Feb-2003
Suporte à análise e verificação de modelos RPOO.
SANTOS, José Amancio Macedo.
18-Feb-2004
Verificação de modelos em redes de petri orientadas a objetos.
RODRIGUES, Cássio Leonardo.
19-Feb-2004
Formalização e análise de padrões de projeto para agentes móveis.
LIMA, Emerson Ferreira de Araújo.
30-Aug-2000
Um sistema tutor multiagentes no domínio de redes de petri.
GÓIS, Gustavo Meneses.
Discover
Author
2
SCAICO, Alexandre.
1
BARROS, Tomaz de Carvalho.
1
BARROSO, Giovanni Cordeiro.
1
BATISTA, Othon Marcelo Nunes.
1
CAETANO, Marcos Antônio dos Santos.
1
DIAS, Michel Coura.
1
FIGUEIREDO, Jorge Cesar Abrantes de.
1
GUERRA, Fabrício Vale de Azevedo.
1
GUERRERO , Dalton Dario Serey.
1
GURJÃO, Edmar Candeia.
.
next >
Subject
22
Redes de Petri
9
Engenharia Elétrica
8
Ciência da Computação
6
Engenharia elétrica
3
Engenharia de Software
3
Information Processing
3
Object Oriented Petri Nets
3
Redes de Petri Orientadas a Objetos
3
Software Engineering
2
Banco de dados
.
next >
Date issued
2
2010 - 2014
15
2000 - 2009
7
1994 - 1999