ГОСТ Р ИСО 18629-44 - 2011
- soo.th;
- act .occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc state.th;
- psl. core.th.
15.4Дефинициональныерасширения,обусловленныепутями
ресурса
Для путей ресурса необходимы нижеследующие дефинициональные
расширения:
- processor.def;
- res._role.def.
15.5 Определения для путей ресурса
Для путей ресурса определены нижеследующие понятия.
15.5.1 next_processor_path
Событие ?осс2, заключающееся в выполнении некоторого действия
следует за событием ?осс1, заключающимся в выполнении поддействия
процессора в некотором действии ?а тогда и только тогда, когда выходной
материал для ?а1 является входным материалом для ?а2, и не существует
поддействия процессора для ?а, потребляющего выходной материал из ?а1 и
имеющего место между ?а1 и ?а2.
(forall (?ocd ?осс2?а) (iff (next_processor_path ?осс1 ?осс2 ?а)
(and (next_subactivity ?осс1 ?осс2 ?а)
(exists (?а1 ?а2 ?г)
(and (occurrence_of ?осс1 ?а1)
(occurrence_of ?осс2 ?а2)
(processor_activity ?а1)
(processor_activity ?a2)
(output_material ?r ?al)
(input_material ?r ?a2))))))
15.5.2 pro_precedes
pro precedes—операторчастичногоупорядочиваниясобытий,
заключающихся в выполнении поддействий процессора для ?а по отношению к
потоку ресурсов.
38