Approche et outils pour la spécification du cahier des charges d'un automatisme complexe : structuration et hiérarchisation, outils de représentation des spécifications fonctionnelles, le grafcet, exemple d'application à la commande d'un procédé de distillation. Les erseaux de PETRI, et leur utilisation pour la description et l'analyse des systèmes à évolutions parallèles, grafcet et RDPI. mise en œuvre assistée par ordinateur, le systeme MAS.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00294155 |
Date | 10 July 1981 |
Creators | Moalla, Mohamed |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | habilitation ࠤiriger des recherches |
Page generated in 0.0014 seconds