ГОСТ Р 55346—2012
source_place : cb_place:
END_ENTITY;
(*
Определения атрибутов:
Атрибут causal_weight: Этот атрибут определяет число знаков в прикладном компоненте cb_place. ко
торое необходимо для инициализации перехода. Атрибут causal_weight выражается натуральным числом.
Атрибут destinationjransition: Этот атрибут определяет прикладной компонент cbjransition в ука
занной связи.
Атрибут source_place: Этот атрибут определяет прикладной компонент cb_piace вуказанной связи.
4.3.28 Прикладной компонент cb_output_relationship
Прикладной компонент cb_output_relationship определяет однонаправленную связь от прикладно
го компонента cb_transition к прикладному компоненту cb_place, указывающую на причинно-следствен
ное ограничительное условие, накладываемое на прикладные компоненты cb_transition и cb_place.
Примечание 1 — По установившейся в сетях Петри терминологии прикладной компонент cb_out-
put_relationship соответствует входной дуге. При инициализации перехода атрибут causal_weight будет определять
способ формирования знаков в атрибуте destination_place.
EXPRESS-описание:
*)
ENTITY cb_output_relationship;
causal_weight: causal_weight_select;
destination_place : cb_place;
source_transition :cb_transition;
END_ENTITY;
C
Определения атрибутов.
Атрибут causal_weight: Этот атрибут определяет число знаков, формируемых в атрибуте destina-
tion_place.
Примечание 2 — Для применения не в сетях Петри значение атрибута causal_weight должно
приниматься равным 1. Тоже самое будет относиться и к безопасным сетям Петри.
Атрибут destination_place: Этот атрибут определяет прикладной компонент cb_place, который вво
дится после инициализации прикладного компонента cb_trans»tion. определенного с помощью атрибута
sourcejransition.
Атрибут sourcejransition: Этот атрибут определяет прикладной компонент cb_transition. из которо
го формируется атрибут sourcejransition.
4.3.29 Прикладной компонент cb_place
Прикладной компонент cb_place представляет собой определение статического состояния в при
чинно-следственной функциональной модели представления.
Примечание — По терминологии, принятой в сетях Петри, прикладной компонент cb_place называется
иместом».
EXPRESS-описание:
*)
ENTITY cb_place
ABSTRACT SUPERTYPE OF (ONEOF(cbJunctional_place. oo_action_staten);
description: OPTIONAL text_select;
placejabel: OPTIONAL label:
INVERSE
initial_marking: SET[0:1] OF cbjnitial_marking FOR marked_place;
END ENTITY:
Г
Определения атрибутов:
Атрибут description: Этот атрибут определяет дополнительную информацию относительно при
кладного компонента cb_place.
35