Browsing Computation by Author "Antunes, Dante Carlos"
Now showing items 1-1 of 1
-
Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri
Antunes, Dante Carlos (1997) [Dissertation]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 ...