Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du GRAFCET et des réseaux de PETRI

Approach and tools for determining the specifications of a complex automatic device : structuration and hierarchization tools for displaying functional specifications, grafcet, an exemple of an application to the control of a distillation process. PETRI networks and their use for describing and analyzing parallel-evolution systems, grafcet and RDPI. computer assisted implementation, the MAS system.
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.