• Langue : Français
• Discipline : Automatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1981

Résumé en langue originale

On propose un système qui permet de vérifier certains points de la validité de la description du cahier des charges donnée sous forme d'un Grafcet et assure l'implantation automatique pour un grand nombre de machines programmées. Après un rappel de la définition du Grafcet, on donne la structure du système étudié d'aide à la conception par ordinateur, on présente une méthode de décomposition en graphes d'état utile pour certaines méthodes d'implantation, celles-ci sont enfin présentées dans le cadre du système de traduction