ГОСТ Р 55346—2012
(* The chikl_completion_criterion specifies the Cb_comp!etion_altemative in the Cb_compietion_alternative_mapping. *)
child_completion_criterion : cb_comp!etion_altemative:
(* The equivalent_transition is the Cb_functional_transition to which the child_completion_critehon is mapped to by the
Cb_completion_alternative_mapping. *)
equivatent_transition : cb_functional_transition:
(* The scope specifies the Cb_piace_function_association of the Cb_completion_altemative_mapping. *)
scope : cb_p!ace_function_association;
END_ENTITY:
(*A Cb_firing_condition is a specification of a condition that must be fulfilled to allow firing a transition in a Cb_functional_
behavk>ur_model. <note>A cb_firing_condition is associated with the Cb_output_relationship preceding the Cb_transition
object that shall be fired when the condition is fulfi!led.</note> *)
ENTITY cb_firing_condition:
(* The condition_definition specifies the condition that shall be fulfilled for firing a transition. *)
condition_definition: textual_specification:
(* The guarded_transition specifies the Cb_output_relationship to which the Cb_transition applies. *>
guardedjransition: cbjransition;
END_ENTITY:
(#A Cb_functional_behaviour_model is a type of Functional_behaviour_model and a behaviour model that defines partial
function ordering, such as function sequence, concurrency or branching among functions.<note number=’r>VVhen
assigned to a Composite_function_definition, functional behaviour is defined by the functional interaction model of the
Composite_function_defmition and the cb_functional_behaviour_model in combination.</note> <note number=’2’>The
building blocks of a cb_functional_behaviour_model equal thatof a Petri-nets. It is built from Cb_place. Cbjransition.
Cb_input_relationship and Cb_output_relationship.</note> *)
ENTITY cb_functional_behaviour_model
SUBTYPE OF (functional_behaviour_model);
(* The model_bour>dedness specifies the maximum number of tokens allowed per Cb_plaoe in the Cb_functional_be-
haviour_model. <note number="3">For causal formalisms popular among systems engineers - FFDB and Behaviour
diagrams - model boundedness is 1. except if the replication concept is used in a model, in this case the
model_bound-edness is the maximum number of threads in the replicated structure.<i’note> *)
model_boundedness: label;
(* The model_type specifies the type of behaviour model that is realized by the Cb_functional_behaviour_model and the
Composite_function_definition in combination. *)
model_type : label;
INVERSE
(* The behaviour_model specifies the Cb_functional_behavraur_model of which the Cb_functional_place is a part. *)
constituent_places ; SET [1 : ?] OF cb_functional_place FOR behaviour_model.
(* The behaviour_model specifies the Cb_functk>nal_behaviour_model of which the Cb_functional_transition is a part. *)
constituent_transitions : SET (2 ; ?] OF cb_functional_transition FOR behaviour_model;
END_ENT!TY:
{*A Cb_functional_place is a type of Cb_place specialized to capture static states of a functional_behaviour_model.
<notexp>A causal behaviour specification is built by connecting Cb_functional_place and Cb_functional_transition
objects using Cb_input_relationship and Cb_output_relationship objects. If more than one Cb_output_relationship
objects are connected to a Cb_functional_transition this means that this is the firstelement in a parallel branch in the
behaviour specification.</p><p>lf more than one Cb_input_relationship object is connected to a Cb_functional_transi-
tion. this means that this is the termination of a parallel branch. Alternative threads can be specified by assigning several
Cb_output_relationship objects to a single cb_fur>ctional_place. Similarly, termination of alternate threads is specified by
connecting several Cb_input_relationship objects to a Cb_functional_place object.</p></note> ")
ENTITY cb_furvctional_place
SUBTYPE OF (cb_piace);
(* The behaviour_model specifies the Cb_functional_behaviour_model of which the Cb_functional_place is a part. *)
behaviour model; cb_functional_behaviour_model;
INVERSE
(* The functional_place_reference specifies the Cb_functional_place for which the Cb_place_reference is defined. *)
referencejnformation ; SET [0 :1] OF cb_place_reference FOR functional_place_reference;
END_ENTITY:
A Cb_functional_transition a type of Cb_transition specialized to define a transient node in a Cb_functional_be-
haviour model. <note><p>Acausal behaviour specification is built by connecting Cb_functiona!_place and Cb_functional_
318