Nous traitons dans ce papier le problème de commande d'un système de production soumis à une contrainte temporelle stricte. Nous comparons sur un exemple réel deux approches formelles de commande temporelles. Le principe des deux méthodes est de calculer une loi de commande ou de synthétiser un superviseur pour garantir le respect de la contrainte. Dans un premier temps, nous utilisons une technique basée sur l'algèbre Min-Plus pour contrôler le système afin de satisfaire la contrainte temporelle. Nous appliquons dans un deuxième temps, la méthode de commande supervisée en réseaux de Petri pour résoudre le problème. Une étude comparative des résultats obtenus est effectuée.