OverviewThis section describes the transition objects and transition sections of the SFC sequence language.