CASE #iKrok OF
    0:  //  Krok inicjalizacji
        "Akcja_0"();
        //warunek tranzycji
        IF #Start THEN
            #iKrok := 10;
        END_IF;
    10:  //  Krok 10
        "Akcja_10"();
        //warunek tranzycji
        IF #WarunekTranzycji10 THEN
            #iKrok := 15;
        END_IF;
    15:  //  Krok 20, 30
        "Akcja_20"();
        "Akcja_30"();
        //warunek tranzycji
        IF #WarunekTranzycji20 AND #WarunekTranzycji30 THEN
            #iKrok := 40;
        END_IF;
    40:  //  Krok 40
        "Akcja_40"();
        //warunek tranzycji
        IF #WarunekTranzycji40 THEN
            #iKrok := 0;
        END_IF;
END_CASE;

CASE #iKrok OF
    0:  //  Krok inicjalizacji
        "Akcja_0"();
        //warunek tranzycji
        IF #Start THEN
            #iKrok := 10;
        END_IF;
    10:  //  Krok 10
        "Akcja_10"();
        //warunek tranzycji
        IF #WarunekTranzycji10 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;