ГОСТ Р 55346—2012
cb_input_relationship и cb_output_re!ationship. Необходимость объединения нескольких прикладных компонентов
cb_output_relalionship с прикладным компонентом cbjunctionaljransition будет означать, что он станет первым
элементом на параллельной ветви в спецификации.
Необходимость объединения нескольких прикладных компонентов cb_input_relationship с прикладным ком
понентом cb_functional_transition будет означать, что параллельная ветвь будет прерываться. Альтернативные
ветви могут определяться путем присвоения нескольких прикладных компонентов cb_output_relationship един
ственному прикладному компоненту cb_functional_p!ace. Аналогично прерывание альтернативных потоков данных
может задаваться путем объединения нескольких прикладных компонентов cb_input_relationship в единственный
прикладной компонент cb_place.
EXPRESS-описание:
*>
ENTITY cbjunctionaljransition
SUBTYPE OF (cb_transition);
behaviour_mo<iel: cbJunctionalJjehaviourjnodel;
INVERSE
transitionjelationship: SET[0:1] OF cb_transition_relationship FOR relatedjransition;
END_ENTITY;
(*
Определения атрибутов:
Атрибут behaviour_model: Этот атрибут определяет прикладной компонент cb_functional_be-
haviour_model. частью которого является прикладной компонент cb_functional_transition.
Атрибут transition_relationship: Этот атрибут определяет набор прикладных компонентов cbjransi-
tion. которые включаются в прикладной компонент cb_functional_transition.
4.3.26 Прикладной компонент cb_initial_marking
Прикладной компонент cbjnitial_marking используется для указания того, что прикладной компо
нент cb_place в прикладном компоненте cb_functional_behaviour_model является исходным условием
для модели поведения.
EXPRESS-описание:
‘>
ENTITY cb_initial_marking;
marked_place: cb_place;
number_of_tokens: INTEGER:
r
END_ENTITY;
Определения атрибутов.
Атрибут marked_place: Этот атрибут указывает на то, что прикладной компонент cb_place являет
ся частью исходного условия для прикладного компонента cb_functional_behaviour_model.
Атрибут number_of_tokens: Этот атрибут определяет число знаков, присваиваемых атрибуту
marked_place.
4.3.27 Прикладной компонент cb_input_relationship
Прикладной компонент cb_input_relationship определяет однонаправленную связь от прикладного
компонента cb_place кприкладному компоненту cbjransition. указывающую на причинно-следственное
ограничительное условие, накладываемое на прикладные компоненты cb_place и cbjransition.
Примечание 1 — Атрибут causal_weight определяет число знаков, необходимых для инициализации
перехода.
Примечание 2 — По установившейся в сетях Петри терминологии прикладной компонент cb_input_re-
lationship соответствует входной дуге.
EXPRESS-описание:
‘>
ENTITY cbjnputjelationship;
causal_weight:causal_weight_select;
destinationjransition : cb_transition;
34