// Главная функция программы
void main() {
// Метка начального состояния
s0:
    // Ждем, пока не произойдет событие
    e0();
    if(/* Проверка входных переменных для первой дуги */) {
        // Выполнение выходных воздействий
        zN(); ... zM();
        // Переходим в состояние I
        goto sI;
    } else if ...
...
// Метка заключительного состояния
sX:
}