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

     4.6.1 Общие положения

Правила эволюции показывают, что вызвать эволюцию диаграммы grafcet может только изменение значений входных переменных. Такое изменение, называемое "входным событием", определяется предыдущим значением и последующим значением всех входных переменных, характеризующих это одно событие. На практике множество входных событий специфицируется только изменением характеристического состояния (прямой переход или обратный переход) одной или нескольких логических входных переменных.

Примечание - Прямой перепад логической переменной, обозначаемый значком "" перед логической переменной, означает, что этот прямой перепад является истинным только для перехода рассматриваемой переменной от значения 0 к значению 1. Обратный переход логической переменной, обозначаемый значком "" перед логической переменной, означает, что этот обратный переход является истинным только для перехода рассматриваемой переменной от значения 1 к значению 0.

Говорят, что "событие происходит" на момент изменения состояния входных переменных, которые его характеризуют.