Шаблон 3.1

State func_s1() {
    if(/* Проверка  входных переменных для первой дуги */) {
        // Выполнение выходных воздействий
        zN(); ... zM();
        // Возвращаем новое состояние I
        return sI;
    } else if ...
}