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 xWarunekTranzycji10A THEN
            iKrok := 20;
        ELSIF xWarunekTranzycji10B THEN
            iKrok := 30;
        END_IF;
    20:  //  Krok 20
        Akcja_20();
        //warunek tranzycji
        IF xWarunekTranzycji20 THEN
            iKrok := 30;
        END_IF;
    30:  //  Krok 30
        Akcja_30();
        //warunek tranzycji
        IF xWarunekTranzycji30 THEN
            iKrok := 0;
        END_IF;
END_CASE;