01033naa a2200157 a 450000100080000000500110000800800410001910000190006024500760007926000090015530000150016452004660017970000190064570000180066477301930068210029382007-08-17       1995    bl uuuu     u00u1 u    #d1 aBARROSO, G. C.  aAnalise de seguranca baseada em controle supervisorio e redes de Petri.  c1995  ap.451-470.  aA 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.1 aLIMA, A. M. N.1 aPERKUSICH, A.  tIn: 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.