void sI() {
    // Ждем, пока не произойдет событие
    e0();
    if(/* Проверка входных переменных для первой дуги */) {
        // Выполнение выходных воздействий
        zN(); ... zM();
        // Переход в новое состояние J
        sJ();
    } else if ...
}
					
					
										
					
403