Un objet SFC est une structure de données représentant les propriétés d'état d'une action ou d'une transition d'un graphe séquentiel.