(1989-1996)
Le groupe « Systèmes Logiques » développant alors l’essentiel de ses travaux sur le Grafcet, il fût décidé de changer son nom et de l’appeler dorénavant « Groupe GRAFCET ». Sous l’impulsion de son nouvel animateur, Jean-Jacques LESAGE, le groupe, tout en poursuivant l’étude des extensions, orienta progressivement ses travaux vers un renforcement des bases théoriques du Grafcet. En effet, la demande croissante des utilisateurs de Grafcet en matière de maîtrise de la complexité des modèles et de leur comportement dynamique, de preuve de propriétés pour le développement de systèmes sûrs de fonctionnement, ou encore, d’ouverture du modèle Grafcet à d’autres outils de modélisation complémentaires, était incompatible avec les définitions uniquement textuelles du Grafcet, suffisantes pour son utilisation, mais trop peu formelles pour permettre de répondre efficacement à ces attentes.
Ces nouvelles orientations motivèrent un regain d’intérêt de la communauté scientifique pour le Grafcet, aussi bien au sein du Groupe Grafcet qu’à l’extérieur, en France comme à l’Etranger. En particulier, le Grafcet qui, dans les périodes précédentes, n’apparaissait en référence que dans des revues techniques, fût de plus en plus l’objet de publications dans des revues ou des congrès nationaux ou internationaux scientifiques. Un autre paramètre significatif de ce regain d’intérêt est le nombre de thèses de doctorat soutenues dans cette période traitant directement du modèle Grafcet. Cette impulsion donnée par le groupe « Grafcet » s’est traduite par l’organisation de deux congrès à audience nationale : GRAFCET’92 et MSR’96 , l’organisation de sessions invitées dans des congrès d’audience internationale de haut niveau , l’élaboration de numéros spéciaux dans le JESA/APII et une incitation à publier, en langue anglaise, des articles d’auteurs, membres du groupe.
Outre cet important effort de diffusion, renforcé par la création d’un serveur Grafcet sur Internet, les travaux du groupe ont porté en particulier dans cette période sur :
la formalisation des définitions syntaxiques textuelles du Grafcet
par méta-modélisation (entendue comme l’élaboration
d’un modèle du modèle), permettant à la fois de
vérifier la robustesse des définitions et extensions du Grafcet
et de fournir un moyen d’intégration du Grafcet avec d’autres
outils de modélisation,
la formalisation du comportement temporel (sémantique temporelle)
du Grafcet, traduit, en particulier, par la proposition d’une extension
théorique des postulats temporels du modèle (définition
de deux échelles de temps ) permettant de garantir deux
propriétés essentielles pour un modèle de système
réactif : synchronisme (par rapport à l’environnement)
et déterminisme de comportement. D’un point de vue pratique,
un « mode d’emploi » (ou encore, « Joueur de Grafcet
») du Grafcet muni de cette extension est proposé aux utilisateurs
pour une lecture unique de tout grafcet,
la vérification de Grafcet, cherchant à développer des techniques formelles de preuve de propriétés du modèle (systèmes de transitions, langages synchrones, logiques temporelles, extraction de l’automate équivalent, ...).
Parallèlement, en 1990, un sous-groupe « Grafcet et Enseignement », dont l’animateur est Dominique GENDREAU, a été créé pour renforcer la diffusion du Grafcet et de ses évolutions dans l’Education Nationale. La première action de ce sous-groupe a été de faire le point sur l’état des connaissances du Grafcet chez les enseignants du secondaire et de l’enseignement supérieur (jusqu’à BAC+2) en France, mais aussi en Belgique francophone. Les résultats, publiés en 1992, ont permis de montrer la nécessité de mettre en place une action de recyclage et d’approfondissement, traduite par l’organisation, en 1993, d’une Université d’Eté à laquelle une soixantaine d’enseignants français (et belges) ont participé. Depuis, le travail engagé par le sous-groupe consiste en la rédaction d’un ouvrage à caractère pédagogique destiné aux enseignants. Sa parution est prévue fin 1997.