CASE iKrok OF
    0:  //  Krok inicjalizacji
        Akcja_0();
        //warunek tranzycji
        IF xStart THEN
            iKrok := 10;
        END_IF;
    10:  //  Krok 10
        Akcja_10();
        //warunek tranzycji
        IF xWarunekTranzycji10 THEN
            iKrok := 15;
            iKrokSubSekwencji := 20;
        END_IF;
    15:  //  Krok 20, 30, 40
        CASE iKrokSubSekwencji OF  //sekwencja zagnieżdżona
            20:
                Akcja_20();
                IF WarunekTranzycji20 THEN
                    iKrokSubSekwencji := 40;
                END_IF;
            40:
                Akcja_40();
        END_CASE;

        Akcja_30();
        //warunek tranzycji
        IF WarunekTranzycji30 AND (iKrokSubSekwencji=40 AND WarunekTranzycji40) THEN
            iKrok := 0;
        END_IF;
END_CASE;