O Grafcet, também conhecido como SFC (Sequential Functional Charts), é um método gráfico de apoio à concepção de sistemas industriais automatizados, que permite representar, através de modelos do tipo dos gráficos de estados, o comportamento de sistemas sequenciais.