Modeles de systemes d'automatismes