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).