El documento explica el Grafcet, un método gráfico para modelar y describir sistemas de automatismos secuenciales. El Grafcet se basa en redes de Petri y usa elementos como etapas y transiciones. Las etapas representan los estados del sistema, mientras que las transiciones indican los cambios entre estados. El documento describe los tipos de etapas, acciones asociadas, y reglas para la evolución del Grafcet. Finalmente, presenta un ejemplo de aplicación con dos carretillas moviéndose en carriles par