Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real

Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real

Luiz Manoel Aguilera

DISSERTAÇÃO

Português

T/UNICAMP Ag93f

Campinas, SP : [s.n.], 1989.

246f. : il.

Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

Resumo: O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de...

Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real

Luiz Manoel Aguilera


										

Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real

Luiz Manoel Aguilera

    Exemplares