Un GRAFCET es una sucesión de etapas. Cada etapa tiene sus acciones asociadas de forma que cuando aquella etapa está activa se realizan las correspondientes acciones; pero estas acciones no podrán ejecutarse nunca si la etapa no está activa.
Entre dos etapas hay una transición. A cada transición le corresponde una receptividad, es decir una condición que se ha de cumplir para poder pasar la transición. Una transición es válida cuando la etapa inmediatamente anterior a ella está activa. Cuando una transición es válida y su receptividad asociada se cumple se dice que la transición es franqueable.
Al franquear una transición se desactivan sus etapas anteriores y se activan las posteriores.
Las etapas iniciales, que se representan con línea doble, se activan en la puesta en marcha.