//-->
Apports de la Méta-modélisation de modèles : application au modèle Grafcet.
Lhoste, Pascal, (1999)
Vérification et validation du Grafcet
Zaytoon, Janan, (1997)
Comportement temporel du Grafcet
Lhoste, Pascal, (1997)