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

Mohamed Moalla (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

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.

Mots clés: temps réel; MAS; M.A.S.; M.A.S; automatisme; PETRI; réseaux; réseau; conception; système logique; GRAFCET; cahier des charges

Domaines: Modélisation et simulation

Mohamed Moalla. Spécification et conception sûre d'automatismes discrets complexes, basées sur l'utilisation du GRAFCET et des réseaux de PETRI. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1981. ⟨tel-00294155⟩