ГОСТ Р ИСО 18629-44 - 2011
(forall (?ocd ?осс2?а) (iff (pro_precedes ?ocd ?осс2 ?а)
(and (soo_precedes ?ocd ?occ2 ?a)
(forall (?occ3)
(implies (and (soo_precedes ?occl ?occ3 ?a)
(soo ^precedes ?occ3 ?occ2 ?a))
(exists (?occ4 ?occ5)
(and (next_processor_path ?occ4?occ3 ?a)
(next_processor_path ?occ3 ?occ5?a))))))))
15.5.3 resource_path
Некоторое действие является каким-либо путем ресурса тогда и только
тогда,когдаупорядочиваниесобытий,заключающихсяввыполнении
поддействий эквивалентно упорядочиванию потока.
(forall (?а) (iff (resource_path ?а)
(forall (?ocd ?осс2)
(iff (soo_precedes ?occ1 ?occ2 ?a)
(pro_precedes ?occ1 ?occ2 ?a))))
Пример - Пути ресурса включают понятия планов технологического процесса,
маршрутизацию и потоки в логистических цепочках.
15.5.4 initial_resource_path
Рассматриваемым событием является инициирующее событие для
некоторого действия ?а, если ?а есть какой-либо путь ресурса, а данное
событие является начальным для упорядочивания событий.
(forall (?осс ?а) (iff (initial_processor_path ?осс ?а)
(and (resource_path ?а)
(root_soo ?осс ?а))))
15.5.5 final_resource_path
Некоторое событие является заключительным событием процессора для
некоторого действия ?а, если ?а есть какой-либо путь ресурса, а данное
событие является конечным для упорядочивания событий.
(forall (?осс ?а) (iff (final_processor_path ?осс ?а)
(and (resource_path ?а)
(leaf_soo ?осс ?а))))
39