Un ensemble d'outils logiciels relatifs au Grafcet
pour la plateforme Esterel-Lustre

eg7: éditeur grafcet (associé à g2sc et sg7)
utilisant la librairie graphique fltk

g2sc : compilateur grafcet et Sgrafcet.

Ce compilateur peut engendrer un automate booléen dans de nombreux formats et langages :

sg7 : simulateur grafcet (nécessite g2sc) utilisant la librairie fltk

lave : simulateur de machine à laver piloté par grafcet (nécessite eg7,g2sc et sg7) utilisant la librairie fltk

wagons : simulateur de wagons de mine à charbon piloté par grafcet (nécessite eg7,g2sc et sg7) utilisant la librairie fltk

chaine : simulateur de chaine de fabrication piloté par grafcet (nécessite eg7,g2sc et sg7) utilisant la librairie fltk

Comment installer chaque application ?

Sous Linux:

Téléchargez les dernières versions de eg7,g2sc et sg7 (par exemple eg7_1.2.5_linux64.gz, g2sc_5_5_4_linux64.gz et sg7_3_3_3_linux64.gz) et décompressez ces fichiers :

gzip -d eg7_1_2_5_linux64.gz
gzip -d g2sc_5_5_4_linux64.gz
gzip -d sg7_3_3_3_linux64.gz

Renommez ces fichier respectivement en eg7, g2sc et sg7, puis installez ces programmes dans un répertoire partagé comme /usr/local/bin, ~/bin ...

Sous Windows :

Téléchargez les dernières versions de eg7,g2sc et sg7, puis décompressez-les par winzip par exemple. Renommez les fichiers en eg7,g2sc et sg7 et déplacez les dans un dossier connu comme `Program Files'', puis modifiez votre variable PATH en conséquence.