Simpósio Brasileiro de Automação Inteligente

Sistemas a Eventos Discretos [Voltar]

♦[Artigo 4038] Otimização de Provisionamento de Largura de Banda Usando Redes De Petri na Modelagem de Comportamento de Clientes e Provedores. Autor(es): Flávio Henrique Batista de Souza, Carlos Andrey Maia, Rodney R. Saldanha.

♦[Artigo 4818] Implementação de uma Rede de Petri para Diagnose Online de Falhas em Controladores Lógicos Programáveis. Autor(es): M. V. Moreira, F. G. Cabral, O. Diene, J. C. Basilio.

♦ [Artigo 4983] Aproximações Intervalares para Estimação de Tempos em Redes de Petri Temporais. Autor(es): Ártus Bolzanni.

♦[Artigo 5775] Rede de Petri produtiva: Exemplo de como modelar diferentes características em processos produtivos. Autor(es): Fattori, C C, Oliveira, G L D, Pontes, G S, Junqueira, F, Santos Filho, D J, Miyagi, P E.

♦ [Artigo 8067] Busca Generalizada da Propriedade de Observador em Sistemas a Eventos Discretos. Autor(es): Bravo, H., Antonio Eduardo Carrilho da Cunha, Pena, P. N., José E R Cury.

♦ [Artigo 8328] Modelagem da Rede de Trens Urbanos em Rede de Petri Utilizando o Google Maps. Autor(es): Junqueira, F, Yamada, C. K., Silva, M. F. M., Miyagi, P E.

♦[Artigo 8205] Uma Abordagem no Controle Supervisório Descentralizado Utilizando Redes De Petri Coloridas. Autor(es): Francisco Antonio Alencar Menezes, Giovanni Cordeiro Barroso.

♦[Artigo 5418] Utilização de Diagramas de Decisão Binária Ordenados Para Geração de Casos de Teste em Sistemas Instrumentados de Segurança. Autor(es): Kézia de Vasconcelos Oliveira, Leandro Dias da Silva, Angelo Perkusich, Kyller Costa Gorgônio.

♦ [Artigo 5640] Modelagem e Verificação Formal dos Tempos de Resposta de Mensagens CAN com Offsets Estáticos. Autor(es): Sá, J. S., A. M. N. Lima, Angelo Perkusich, Rocha Neto, J. S.

♦[Artigo 4980] Escolha entre Eventos Controláveis em Implementação de Controle Supervisório em CLPs. Autor(es): Renan Sebem, André Bittencourt Leal.

♦[Artigo 5637] Síntese de Controle Supervisório com Abstrações para Tratamento de Filas. Autor(es): Guilherme Fischer, André Bittencourt Leal.

♦[Artigo 8412] Modelo em Redes de Petri para Tratamento de Restrições em Malha de Trens. Autor(es): Yamashiro, F. M., Lemos, M. A., Marques, M. A., Botura Jr., G.

♦[Artigo 5802] Simulação de Sistemas a Eventos Discretos Sob o Controle Supervisório Modular Local. Autor(es): Jéssica K. S. Santos, Pedro P. B. Braga, Leandro de S. D. de P. Vieira, Pena, P. N.

♦[Artigo 5283] Verificação de Autômatos Temporizados para Validação e Análise de Desempenho de Lógica de Controle Sintetizada pela Teoria de Controle Supervisório. Autor(es): João Aurélio Vieira Rodriguez, Antonio Eduardo Carrilho da Cunha.

♦[Artigo 7578] Aplicação de Métodos de Análise de Redes C/A ao Modelo Production Flow Squema (PFS). Autor(es): Henri Carlo Belan, Karol Muñoz Salas, Victor Juliano de Negri.

♦ [Artigo 7812] Busca Heurística de Supervisores Aproximados por Distinguidores. Autor(es): Raquel S. S. Aguiar, Antonio Eduardo Carrilho da Cunha, José E R Cury, Queiroz, M.H.

♦[Artigo 4761] Uso de Restrições sobre Cores Decompostas como Algoritmo de Controle Numa Célula Produtiva Robotizada. Autor(es): Dyonatha Rodrigues da Costa, Francisco Antonio Alencar Menezes, Giovanni Cordeiro Barroso.

♦ [Artigo 5751] Processo para o Desenvolvimento de Cenários de Treinamento para Ambientes Virtuais 3D. Autor(es): Flavio Torres Filho, Maria de Fatima Queiroz Vieira, Washington Soares.