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

     4.6.2 Спецификация входных событий

Спецификация входных событий осуществляется с помощью логического выражения одной или нескольких характеристических переменных, часто в условии перехода. Реже, она может также напрямую указывать внутреннее событие (см. 4.7).

ПРИМЕР 1:

Выражение "" описывает множество всех входных событий, для которых предыдущее значение входной переменной "а" равно 0 и его последующее значение равно 1, независимо от значения других входных переменных системы.

ПРИМЕР 2:

Выражение "" описывает множество всех входных событий, для которых последующее значение входной переменной "а" равно 1, а предшествующее значение входной переменной "b" равно 0, и ее последующее значение равно 1, независимо от значения других входных переменных системы.

a ПРИМЕР 3:

Выражение "a" описывает множество всех входных событий, для которых последующее значение входной переменной "a" равно 1, независимо от значения других входных переменных системы.

Примечание - Будучи использованным в условии перехода, это выражение может привести к эволюции перехода (см. 3.12).