O objetivo deste problema transportar os veculos V1 e V2 de uma margem
do rio para outra, dentro de um determinado intervalo de tempo, tendo como recursos disponveis o caminho, a ponte e o ferry boat. Podemos observar a existncia de algumas restries temporais, relacionadas ao posicionamento da ponte e ao carregamento dos veculos no ferry boat e no caminho. Escalonamento Flexvel de Workflows com Restries Temporais A especificao de planos deve levar em considerao restries temporais e restries sobre o uso de recursos, associadas a cada ao. A abordagem clssica para a execuo de planos com tais restries trabalha em duas fases, que se alternam. Na primeira fase, determina-se o conjunto das aes prontas para execuo, sob o ponto de vista de controle de execuo. Na segunda fase, consideram-se as restries temporais e sobre o uso de recursos para gerar um escalonamento vivel das aes. Escalonamento Flexvel de Workflows com Restries Temporais Esta separao em duas fases pode levar a ineficincias face necessidade de refazer a primeira fase quando se detectam inconsistncias insanveis na segunda fase. Esta dissertao inicialmente prope um modelo para planos que incorpora uma linguagem, bastante rica, para especificar restries temporais. Em seguida, apresenta um algoritmo para execuo de planos com escalonamento, que busca integrar as duas fases anteriormente apontadas Sistema de Jogos de Guerra Implementado em LUA e C++ Banco Postgree Centro Tecnolgico do Corpo de Fuzileiros Navais Modernizao dos M-113 Sistema ASTROS-CFN Passadeiras Manuteno e reparo meios