ГОСТ Р ИСО 18629-13-2011
Рисунок В.2 - Блок-схема процесса изготовления двигателя изделия GT-350 [8]
PSL-представление продолжительности и упорядочения некоторых
операций и связанной с производством информации на этапе изготовления
двигателя таково:
(subactivity make_block make_engine)
(subactivity make-harness make_engine)
(subactivity make-wires make_engine)
(subactivity assemble_engine make_engine)
(forall (?occ)
(<=> (occurrence_of ?occ make_engine)
(exists (?occl ?occ2 ?occ3 ?occ4)
(and (occurrence_of ?occl make_block)
(occurrence_of ?occ2 make_harness)
(occurrence_of ?occ3 make_wires)
(occurrence_of ?occ4 assemble_engine)
(= (duration (beginof ?occ1) (endof ?occl)) 10)
(= (duration (beginof ?occ2) (endof ?occ2)) 5)
(= (duration (beginof ?occ3) (endof ?occ3)) 12)
{= (beginof ?occ4) (time_add (endof ?occ3) 10))
(subactivity_occurrence ?occl ?occ)
(subactivity_occurrence ?occ2 ?occ)
(subactivity_occurrence ?occ3 ?occ)
(subactivity_occurrence ?occ4 ?occ)
(soo_precedes (soomap ?occ1) (soomap ?occ4) make_gt350)
(soo_precedes (soomap ?occ2) (soomap ?occ4) make_gt350)
(soo_precedes (soomap ?occ3) (soomap ?occ4) make_gt350)))))
В этом представлении символ отношения soo precedes используют для
указания ограничений при упорядочении элементов субопераций make block,
make harness, make_wires и make_engine. Неформально каждая из стрелочек,
изображенных на рисунке В.2, соответствует символу формулы soo precedes.
Символ формулы soomap используют для различения любых возможных
35