The sequence description GRAFCET (graphs Fonctionnel de Commande Etape Transition) is defined in the standard EN 60848, and is in practice an essential tool to describe the function of installations and the flow of processes.