ГОСТ Р 55346—2012
transition objects using Cb_input_re!ationship and Cb_output_relationship objects. If more than one Cb_output_relation-
ship objects are connected to a Cb_functional_transition. this means that this is the first element in a parallel branch in
the behaviour specification.</p><p>lf more than one Cb_input_relationship object is connected to a Cb_functional_tran-
sition, this means that this is the termination of a parallel branch. Alternative threads can be specified by assigning sever
al Cb_output_reiationship objects to a single Cb_functional_place. Similarly, termination of alternate threads is specified
by connecting several Cb_input_relationship objects to a Cb_place.</p></note> *)
ENTITY cb_functional_transition
SUBTYPE OF (cbjransition):
(* The behaviour_model specifies the Cb_functional_behaviour_model of which the CbJunctionaIJransition is a part.’)
behaviour_model: cb_functional_behaviour_model;
INVERSE
(* The related_transition specifies the set of Cbjransition objects that is involved in the Cb_functional Jransition. *)
transition relationship : SET [0 : 1] OF cb_transit»on_relationship FOR relatedjransition;
END_ENTITY:
(*A Cbjnitial_marking is an indication that a Cb_place in a Cb_functional_behaviour_model is part of the initial condition
of the behaviour model.’)
ENTITY cbjnitial_marking:
(* The marked_place specifies the Cb_p!ace that is part of the initial condition of the Cb_functional_behaviour_model. *)
marked_place: cb_place;
(* The number_ofJokens specifies the number of tokens initially assigned to the marked_place.
•)
number_of_tokens: INTEGER;
END_ENTITY:
(*A CbJnput_relationship is the unidirectional relationship from a Cb_place to a Cb_transition indicating a causality
constraint between the Cb_place and the Cbjransition. <note number="1*>The causal_weight attribute specifies the
number of tokens required to fire the transition.</note> <note number="2‘>ln established Petri-nets terminology, the
CbJnputjelationship corresponds to an input arc.</note> ’)
ENTITY cb_input_relationship;
(* The causaljweight specifies the number of tokens in the Cb_place that are required to fire the transition. Causal_
weight is a natural number.
*)
causai_weight: causal_weighl_select;
(* The destination_transition specifies the Cbjransition in the relationship.
*)
destination_transition ; cb_transition;
(* The source_place specifies the Cb_place in the relationship.
*)
source_p!ace; cb_place;
END_ENTITY;
(*An Cb_output_relationship is the unidirectional relationship from a Cbjransition to a Cb_place indicating a causality
constraint between the Cbjransition and the Cb_p!ace. <note number=T>ln established Petri-nets terminology the cb_
output_relationship corresponds to an output arc. If the transition is fired the causal_weight attribute defines how many
tokens will be generated in the destination place.</note> *)
ENTITY cb_output_relationship:
(* The causal_weight specifies the number of tokens that isgenerated in the destination_place.
<r>ote
number=’2’>
For all non-Petri-nets applications the causal_weight attribute shall be set to 1. The same holds for safe Petri-nets.
</note> *)
causal weight: causal_weight_select;
(* The destination_place specifies the Cb_place that is entered as a consequence of firing the CbJransition defined by
the source_transition.
*)
destination_place:cb_place;
(* The sourcejransition specifies the Cb_transition from which the sourcejransition originates.
*)
source_transition; cb_transition;
END_ENTITY;
319