ГОСТ Р 55346—2012
(*A Cb_place is the definition of a static state in a causal functional behaviour model.<note>ln Petri-nets terminology a
cb_place is a place.</note> *)
ENTITY cb_place
ABSTRACT SUPERTYPE OF (ONEOF(cb_functional_ptace. oo_action_state));
(* The description specifies additional information about the Cb__place. *)
description : OPTIONAL text_select;
(* The placejabel specifies the word, or words, which are used to refer to the Cb_place. *)
placeJabel: OPTIONAL label:
INVERSE
(* The marked_place specifies the Cb_place that is part of the initial condition of the Cb_functional_behaviour_model. *)
initial_marking : SET [0 : 1] OF cb_initial_marking FOR marked_place;
END_ENTITY:
(*A Cb_p!ace_function_association is the association of a Functionjnstance with a Cb_p!ace such that the function
activation is controlled by the Cb_ptace. <note>There need not be a one to one correspondence between Cb_place
and Functionjnstance objects. A Cb_place object with no Functionjnstance object assigned indicate a placeholder for
thread synchronisation.</note> *)
ENTITY cb_placejunction_association;
(* The causal_place specifies the Cb_place in the relationship.
*)
causa!_place: cb_functional_place:
(* The controJsJunction specifies the Function_instance in the relationship.
*)
controlsjunction : functionjnstance;
INVERSE
(* The scope specifies the Cb_place_function_association of the Cb_completion_altemative_mapping. ’)
comptetion_mapping : SET [0 : ?] OF cb_completion_alternative_mapping FOR scope;
END_ENTITY;
(*A Cbplacereference is the mechanism for associating additional information with a Cb_place. The semantics are fur
ther defined by the referencejype attribute. <note number=T>The Cb_place_reference is the mechanism for indicating
that a particular Cb_place shall be annotated with a specific syntax symbol. It is primarily inserted to support FFBD and
Behaviour diagram concepts.</note> ’)
ENTITY cb_place_reference;
(* The functional_place_reference specifies the CbJunctional_place for which the Cb_place_reference is defined. *)
functional_place_reference; cbJunctional_place;
(* The referencejype specifies the sematics of the referencejype. Where applicable one of the following values shall
be used:<note number="2">The preferred values listed are included to allow for a correct representation of FFBD and
Behaviour diagrams. The mani purpose is to indicate the exits of loops or the terminiation of an execution thread.</
note><ul><li>threadJerminiation: The Cb_place indicated by the functional_place_reference attribute is the final element
in an execution thread;</li><li>Ioop_exit: The Cb_place indicated by the functional_place_reference attribute is the final
element in a loop.</li></ut> *)
referencejype: label:
END_ENTITY;
(•A Cbjransition is a transient node in a causal behaviour model.<note>ln Petri-net terminology, a Cbjransition is a
transition.</note> *)
ENTITY cbjransition
ABSTRACT SUPERTYPE OF (ONEOF(cbJunctional Jransition. oo_action_state_transition));
(* The description specifies additional textual information for the Cbjransition. *)
description : OPTIONAL text_select:
(* The transitionjabel specifies the word, or words, that are used to refer tothe Cbjransition. *)
transitionjabel :OPTIONAL label;
INVERSE
(* The guardedjransition specifies the Cb_output_relationship to which the Cbjransition applies. *)
guarded_by : SET {0 : 1] OF cb_firing_condition FOR guardedjransition;
END_ENTITY;
(• A CbJransition_relationship is the relationship between two Cbjransition objects. <note number="r>The intention with
this entity is to group selective branches in a causal chain. The semantics can also be captured by extending the entity
Causal_block_bound slightty.</note> <note number=’Z‘>This entity shaBprobably be removed from the model.</r>ote> *)
320