ГОСТ IEC 60848—2016
Т а б л и ц а
4 — Ассоциированные условия перехода
Номер
СимволОписание
[13)
Г!
L
tj
Условие перехода:
Логическое выражение, называемое условием перехода, которое может быть
«истинным» или «ложным», ассоциировано с каждым переходом. Если существует
соответствующая логическая переменная, то она равна 1. когда условие перехода
«истинно», или равна 0. когда условие перехода «ложно». Логическое выражение,
формирующее условие перехода, содержит одну или несколько логических пере
менных (входная переменная, переменная этапа, значение предиката и т. д.).
Звездочку заменяют описании условия перехода в виде текста, логического вы
ражения или с помощью графических символов.
ПРИМЕР 1: Условие перехода записано в виде текста.
Д—рьзакрыта(а) н(днтш и uibymmyn (Б)
иличастичноприсутствует(с))
П з |
ПРИМЕР 2: Условие перехода записано в виде логического выражения.
0
-{Б+с)
[14)
Условие перехода всегда «истинно»:
Символ «1» означает, что условие перехода всегда «истинно».
!
П р и м е ч а н и е — В этом случае, эволюцией должен быть переход
(см. 4.9.3), сброс перехода обусловливается только активностью предшествующего
этапа.
п
I
___
J
Положительный перепад логической переменной:
Символ «Т» означает, что условие перехода верно только при изменении состо
яния переменной* (положительный перепад: изменение от значения 0 к значению 1,
см. примечание в 4.6).
Данный символ является общим и распространяется на все логические выска
*
зывания, либо для элементарной переменной, либо для множества из нескольких
логических переменных.
И
ПРИМЕР 1: Ассоциированное условие перехода «истинно» толь
■■ t a
ко при изменениях от состояния 0 к состоянию 1.
П р и м е ч а н и е — В соответствии с правилом эволюции № 2
переход сбрасывается только на положительном перепаде после
того, как переход был переведен в активное состояние на этапе 3.
15