Introduction à la Théorie de la Supervision : Exploitation des Symètries et Utilisation de Réseaux de Petri Application au Problème de Pilotage d AGV