Recursos de colección

Repositório Comum (25.071 recursos)

É um repositório para instituições de ensino e investigação produtoras de literatura científica cuja dimensão ainda não justifica a criação de um repositório próprio. Permite integrar instituições, grupos ou indivíduos na infra-estrutura do projecto, nomeadamente através das pesquisas do Portal RCAAP e da B-On.

D-ENG - Teses de Doutoramento

Mostrando recursos 1 - 1 de 1

  1. Modularidade em Redes de Petri

    Barros, João Paulo
    Desde o final da década de 60 que se debate a importância da utilização dos denominados métodos formais na Engenharia de Sistemas, em particular na Engenharia de Software. As redes de Petri constituem um método formal bem conhecido e ao qual são reconhecidas vantagens particulares, comparativamente a outras linguagens formais. No entanto, continuam a ser uma linguagem relativamente pouco conhecida fora da respectiva comunidade. Tal deve-se também ao facto de não existir uma quantidade suficiente de técnicas que permitam a sua fácil apreensão e utilização prática por parte de engenheiros sem formação ou experiência especial. Esta dissertação apresenta dois conjuntos...
    - 22-sep-2011

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.