ГОСТ Р 55346—2012
behaviour_model: cb_functkjnal_behavtour_model:
INVERSE
transition_relationship : SET(0:1] OF cb_transition_relationship FOR related_lransilion;
END_ENTITY:
ENTITY cb_initial_marking:
marked_place: cb_place;
number_of_lokens : INTEGER;
END_ENTITY;
ENTITY cb_input_relationship;
causal_weight; causal_\veight_select;
destination_transition ; cb_lransition;
source_place ; cb_place;
END_ENTITY:
ENTITY cb_output_relationship:
causal_weight: causal_\veight_select;
destination_place: cb_place:
sourcejransition ; cbjransitton;
END_ENTITY:
ENTITY cb_place
ABSTRACT SUPERTYPE OF (ONEOF<cb_functk3nal_place. oo_action_state));
description ; OPTIONAL text_select;
placeJabel: OPTIONAL label;
INVERSE
initial_marking ; SET[0:1] OF cb_initial_marking FOR marked_place;
END_ENTITY;
ENTITY cb_place_function_association;
causal_place; cb_functional_place;
contrc^s_function ; functionJnstance;
INVERSE
completion_mapping : SET(0:?] OF cb_completion_alternative_mapping FOR scope;
END_ENTITY;
ENTITY cb_place_reference:
functional_place_reference: cb_functional_place;
reference_type : label:
END_ENTITY:
ENTITY cb_transition
ABSTRACT SUPERTYPE OF (ONEOF(cb_functional_transition. oo_action_state_transition));
description ; OPTIONAL text_select;
transitionjabel: OPTIONAL label;
INVERSE
guarded_by ; SET[0:1] OF cb_firing_condition FOR guardedjransition;
END_ENTITY:
ENTITY cb_transition_relationship:
related_transition : SET[1;?J OF cb_functional_transition;
relationship_type : label;
INVERSE
end_bound ; SETI0;1] OF causal_block_bour>d FOR terminal_transition;
start_bound : SET[0:1J OF causal_block_bound FOR initial_transition;
END_ENTITY;
ENTITY cb_transition_unbounded_weight;
minimal_\veight: natural_number.
END_ENTITY:
272