GRAFCET
GRAFCET (GRAphe Fonctionnel de Commande des Étapes et Transitions) on graafiline protsessikirjelduskeel.
Keele graafilised tähised on tuletatud Petri kahendvõrgul (Level 1 boolean Petri net) tähistest.
Keel on määratud standardiga ISO/IEC/EN 60848, mis pohineb varasemal DIN 40719-6 funktsioonikaardil.
Kasutatakse automaatikarakendustes standardis IEC 61131-3 mainitud programmeeritavate loogikakontrollerite SFC-keeles (sequential function chart).