Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM.