01419naa a2200157 a 450000100080000000500110000800800410001910000210006024501060008126000090018730000150019652007720021170000160098370000190099977302430101810028912007-08-16       1995    bl uuuu     u00u1 u    #d1 aFERNANDES, J. M.  aSimulacao e sintese de controladores paralelos a partir de especificacoes baseadas em redes de Petri.  c1995  ap.481-492.  aAs Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelacao de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponivel de tecnicas formais para analise esrutural e dinamica dos sistemas modelados. Apresentam-se as vantagens na utilizacao de RdP, relativamente a outros paradigmas de modelacao, na especificacao de controladores com comportamento paralelo. Sao tambem propostas algumas alteracoes ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. E apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controle digitais, a partir de uma RdP. Finalmente, e considerado e analisado detalhadamente um exemplo.1 aPINA, A. M.1 aPROENCA, A. J.  tIn: SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, 7.; CONGRESSO BRASILEIRO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática,1995.