Data/hora: 09/06/2024 21:44:40

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 16/07/1996
Data da última atualização: | 17/08/2007
Autoria: | BARROSO, G. C.; LIMA, A. M. N.; PERKUSICH, A.
Título: | Analise de seguranca baseada em controle supervisorio e redes de Petri.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 6.; CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais ... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Páginas: | p.451-470.
Idioma: | Português
Conteúdo: | A necessidade de dispor de uma abordagem sistematica para a analise de seguranca de sistemas controlados por computador, aponta para a direcao da aplicacao de tecnicas formais. Esse artigo investiga uma nova abordagem para a analise de seguranca em sistemas a eventos discretos, utilizando uma metodologia formal baseada em uma extensao de redes de Petri, denominada Redes de Petri com Funcoes de Habilitacao de Transicoes, e na Teoria de Controle Supervisorio.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3509-1) - ADD - PL - -- - 004.2 - SIM - 1995.00003 - DIS