#tempo_att := S_PEXT(T_NO := "timer_piatto", S := "start_timer_piatto",
                     TV := #tempo_preimpostato, Q => "stato_timer_piatto",
                     R := "reset_timer_piatto");

// salto alla successiva fase
IF ((#richiesta_salita AND ("sensore_piatto_alto" AND
    (NOT "sensore_piatto_basso"))) AND (NOT "occupato")) THEN
    "reset_timer_piatto" := 0;
    "sequenza" := 6;
    RETURN;
END_IF;

// avvio del temporizzatore e attivazione del comando
IF ((((#richiesta_salita AND (NOT "sensore_piatto_alto")) AND
    "comando_valv_piatto") AND (NOT "occupato")) AND
    (NOT "stato_timer_piatto")) THEN
    "reset_timer_piatto" := 0;
    "comando_valv_piatto" := 0;     // piatto sale
    "occupato" := 1;
    "start_timer_piatto" := 1;
    RETURN;
END_IF;

// arresto del temporizzatore
IF (((#richiesta_salita AND "stato_timer_piatto") AND "occupato")
    AND ("sensore_piatto_alto" AND (NOT "sensore_piatto_basso"))) THEN
    "reset_timer_piatto" := 1;
    "start_timer_piatto" := 0;
    "occupato" := 0;
    RETURN;
END_IF;

// test per avvenuto errore
IF (#richiesta_salita AND (NOT "stato_timer_piatto") AND
    (NOT "comando_valv_piatto") AND (NOT "sensore_piatto_alto")
    AND "occupato") THEN
    "comando_valv_piatto" := 1;
    "occupato" := 0;
    "start_timer_piatto" := 0;
    "errore" := 'S';                //errore in Salita piatto
    RETURN;
END_IF;

// "sequenza" := 5;