O documento descreve o Grafcet, uma técnica gráfica para modelar sistemas de controle sequencial. O Grafcet usa etapas, transições e arcos para representar os estados e mudanças de estado de um sistema. Ele permite modelar sequências únicas, seleção entre sequências, paralelismo e outros comportamentos complexos. O Grafcet é amplamente usado para programar controladores lógicos programáveis.