1 Workshop GrecO 2005 Remy Eskinazi ([email protected]) “Uma Metodologia Baseada em Redes de Petri Temporizadas para a geração de Escalonamento Estático.