ГОСТ Р ИСО 18629-13-2011
Данноепредставлениеформализуетспецификациюпроцесса,
изображенного на рисунке В.5, и использует символ отношения soo precedes
для указания ограничений элементов субопераций make_harness_wires и
assemble wires. Неформально каждая из стрелочек, изображенных на рисунке
В.5, соответствует soo ^precedes. Soomap используют для различения любых
возможных многочисленных элементов субопераций.
Рисунок В.5 - Блок-схема процесса изготовления жгута проводки [8]
В.1.4 Изготовление жгутов проводки
Комплект жгутов проводки для изделия GT-350 изготовляют в виде
подсборки двигателя этого изделия, что предусматривает работы кабельной
мастерской.
PSL-представление продолжительности и упорядочения некоторых
операций и связанной с производством информации на этапе изготовления
проводов таково:
(subactivity extrude make_harness_wire)
(subactivity twist make_harness_wire)
(subactivityjacket make_harness_wire)
(primitive extrude)
(primitive twist)
(primitive jacket)
(forall (?occ)
(<=> (occurrence_of ?occ make_harness_wire)
(exists (?occ1 ?occ2 ?occ3 ?occ4)
(and (occurrence_of ?occl extrude)
(occurrence_of ?occ2 twist)
(occurrence_of ?occ3jacket)
(occurrence_of ?occ4 assemble)
(soo_precedes (soomap ?occ1) (soomap ?occ2) make_harness_wire)
(soo_precedes (soomap ?occ3) (soomap ?occ4) make_harness_wire)
(soo_precedes (soomap ?occ2) (soomap ?occ3) make_harness_wire))))
38