El SFC está formado por pasos y transiciones. Mientras que los pasos representan un estado específico en la ejecución de una POU, una transición permite la definición de las condiciones para pasar de un estado al siguiente.
Utilizando ramas paralelas o alternativas se pueden crear varios tipos de secuencias SFC.
El código de la lógica relacionada se puede asociar a los pasos, a través de acciones, utilizando los lenguajes de programación: FBD, IL y LD.