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;
        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;