Navegação Computação por Autor "Antunes, Dante Carlos"
Resultados 1-1 de 1
-
Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri
Antunes, Dante Carlos (1997) [Dissertação]Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do ...