Gives the GRAFCET specification language for the functional description of the behaviour of the sequential part of a control system. Also specifies the symbols and the rules for the graphical representation of this language, as well as for its interpretation.