Cette section décrit les fonctionnalités de l'Editeur graphique, un applet Java qui vous permet de créer des affichages graphiques dynamiques à l'aide d'un navigateur Web et en utilisant un ensemble d'objets graphiques prédéfinis. Cet éditeur sert uniquement à la création et à la modification des affichages. Le Viewer graphique est l'environnement d'exécution qui permet d'obtenir des affichages animés de façon dynamique par les données d'exécution de l'automate. Ce viewer est plus allégé que l'éditeur et permet de raccourcir les temps de chargement et d'exécution.