Dans cet article, nous présentons une méthode de synthèse de commande pour les systèmes à événements discrets dont le comportement dépend des valeurs explicites de temps. Notre but est de fixer les dates d'occurrence des événements contrôlables de sorte que le fonctionnement du système respecte des spécifications données. Le système à commander est modélisé par un réseau de Petri temporisé. Dans des travaux précédents nous avons proposé une méthode systématique pour construire l'automate temporisé qui modélise le comportement exact d'un réseau de Petri temporisé. En outre, les comportements interdits du système sont modélisés par des sommets interdits de l'automate. Cet article présente une méthode de synthèse de commande, qui consiste à calculer de nouvelles conditions de gardes pour les transitions temporisés de l'automate d telle sorte que les sommets interdits ne soient jamais accessibles.
