ГОСТ IEC 60848-2016 Язык спецификаций GRAFCET для последовательных функциональных схем

     4.5.3 Сброс перехода

Правило 2: Переход называют разрешенным, если все непосредственно предшествующие этапы, связанные с этим переходом, активны. Сброс перехода происходит:

- когда переход разрешен, и

- когда связанное с ним условие перехода "истинно".