GRED Editeur de Grafcet écrit en TCL/TK

Télécharger la dernière version de dernière version de Gred voir historique version gred-0.25a

AVERTISSEMENT !

Le projet GRED est (en principe :-) arrété depuis plusieurs années (changement profond d'activités professionnelles)
Ce qui suit n'est donc plus maintenu, cependant, tant qu'il n'y a pas à ma connaissance un outil GNU aux possiblilités strictement supérieures (undo multiple, manipulation de sélection, copié-collé...) Je laisse ce projet --en l'état-- accessible depuis ma page.

Cependant, si vous l'utiliser, merci de m'envoyer un petit mail (http://www.ensta.fr/~diam) Cela peut m'encourager à le maintenir.

Quelques liens externes sur le Grafcet :


Qu'est-ce que GRED ?

GRED est un éditeur de grafcets multiplateforme (voir aussi un lien de Yves Foussard sur sa formalisation), qui était en cours de projet à l'École Nationale Supérieure de Techniques Avancées (http://www.ensta.fr).

Les principaux objectifs de l'éditeur sont les suivants :

Caractéristiques de GRED

  1. Utilisation gratuite
    Page de référence : http://www.ensta.fr/~diam/gred/
  2. Entièrement interprété
    GRED est écrit en langage TCL. L'installation de gred nécessite donc la présence de l'interpréteur wish (WIndowing SHell), version 8.0 ou ultérieure.
  3. Multiplateforme
    GRED fonctionne non seulement sur tout type de station UNIX (SUN4, Solaris, HP-UX, etc...) mais aussi sous windows95, windows3.1 (tests à établir...) et sur Macintosh.
  4. Convivial
  5. Gestion de la sélection
    La sélection permet de manipuler globalement un groupe d'objet. Les opérations suivantes sont possibles :
  6. Facile à installer
    GRED est conçu pour etre installé avec le minimun d'intervention possible, tout en permettant une personnalisation sur site (pour plus de détails voir section installation).

Téléchargement et installation

Pour les gens pressés

Pour utiliser Gred, vous devez:
  1. Télécharger et installer Tcl/Tk 8.3.x, au site de la société ActiveState (http://tcl.activestate.com/)
  2. Télécharger la dernière version de gred-last.tar.gz sur le site de l'ENSTA.
  3. Décompresser et "dé-tarer" l'archive téléchargée, et vous obtenez un repertoire de la forme "gred-0.23a-20020208/" depuis lequel vous pouvez lancer :
     - 
  4. Placer vous dans le répertoire et tester l'éditeur par ./bin/gred
  5. Vous pouvez placer le répertoire principal où vous voulez, le renommer comme bon vous semble, et accéder à l'exécutable soit par un alias ou en mettant son répertoire (.../bin/") dans votre PATH : cela devrait fonctionner tout seul.

Détails d'installation

L'installation est conçue pour etre reduite au minimum sous UNIX (recherche automatique du répertoire d'installation avec suivi récursive des liens, ...), localisation automatique de la librairie PIST, ...

Sous UNIX, aucune modification de fichier n'est nécessaire si les conditions suivantes sont respectées :

  1. l'interpréteur appelé par défaut est "wish8.3"
    Si vous utiliser un autre nom, modifier la troisième ligne des exécutables du sous-répertoire /gred-vxx/bin/gred (cette manip sera simplifiée ultérieurement),

  2. le script principal (/bin/gred par défaut) peut etre renommé à volonté, mais il doit rester dans son sous-répertoire d'origine (/bin/),

  3. l'arborescence interne au répertoire d'installation (gred-v0.14a/ par exemple) ne doit pas etre modifiée. Mais ce répertoire peut etre renommé à volonté (par exemple en /gred-alpha-0.1.old/).

Une installation classique consiste à créer un lien "gred" qui pointe vers le script physique. Ce lien peut etre situé n'importe ou dans votre PATH.

Personnellement, j'utilise une double indirection par le jeu de liens suivants en vue de faciliter les mise à jour de version de version :

Distribution de gred en cours d'utilisation : /usr/ensta/pack/gred-v0.13/

Lien dans /usr/ensta/bin :

    /usr/ensta/bin/gred*   -->  ../lib/gred/bin/gred*
Lien dans /usr/local/lei/lib :
    /usr/ensta/pack/gred/      --> ./gred-v0.14/
/usr/ensta/pack/gred_old/ --> ./gred-v0.13/
/usr/ensta/pack/gred_new/ --> ./gred-v0.15/

Complément sous Windows

Vous devez renommer le fichier "gred" en "gred.tcl"

Exécution de gred

La commande permettant de lancer gred est :
    gred   ?-g  <geometry>?  <fichier.gra>

Gred prend en parametre :

  1. des options interprétées directement par wish (-g ou -geometry, ...) (taper wish pour en obtenir la liste complète) Cette possibilité (génante si on veut avoir la maitrise complete des options) est annulée par une en-tête de la forme (avec "--") :
       #!/bin/sh
       # the next line restarts using wish \\
       exec wish "$0" -- ${1+"$@"}
    
  2. des options interprétées par le script gred lui-même,
  3. des fichiers à ouvrir au lancement (i.e des grafcet)

Une première option "--" indique à wish qu'il n'a plus d'option à interpréter.
Une seconde option "--" indique à gred que ce qui suit n'est plus une option de gred, mais un grafcet à ouvrir (he oui, vous pouvez appeler votre grafcet "-g") !
Pour l'instant, les seules options reconnues sont :

Historique et évolution de GRED

Copyright et Cie...

Ceci est une version provisoire du copyright, mais l'idée principale y est :

Copyright (©) 1996 ENSTA, Inc. All Rights Reserved.

  1. Vous pouvez utiliser gratuitement et modifier cette application comme vous le souhaitez...
  2. Mais cela peut tout vous cracher et il ne faudra pas venir pleurer...
  3. En cas de redistribution (gratuite) de cette distribution (modifiée ou non) vous devez conserver le copyright ci-dessus, et fournir au destinataire de votre distribution un moyen de se procurer la version originale.
Les personnes suivantes ont participé à la conception de Gred :

Par ailleurs, je tiens à remercier les personnes suivantes :