Etude des éléments syntaxiques du langage Grafcet
Comportement des liaisons
Comportement des sorties
Prise en compte du temps
Postulats fondamentaux et rêgles d'évolution
Evolutions SRS et ARS: algorithme de franchissement maximal itéré
fugacité et instabilité en Grafcet
GEMMA