ГОСТ Р ИСО 18629-44 - 2011
возможно выполнить и другое действие.
(forall (г?а1 ?а2 ?а ?ocd ?осс2) (iff (reusable ?г ?а1)
(implies (and (common ?a1 ?a2 ?r)
(subactivity ?al ?a)
(subactivity ?a2 ?a)
(occurrence_of ?occ2 ?al))
(forall (?b)
(implies (forall (?occ3)
(implies (and (subactivity_occurrence ?occ3 ?b)
(occurrence_of ?b ?a)
(precedes ?occ2?occ3))
(poss ?a2 ?occ3)))))))
6.5.2 possibly_reusable
Какой-либо ресурс ?r может быть использован повторно действием ?а, если
какое-либо другое действие, также требующее ?г, может быть выполнено после
завершения действия ?а в некотором случае в будущем.
Пример - Повторно используемым ресурсом может быть станок, требующий
некоторой загрузки между различными действиями. После выполнения одного действия
возможно выполнение другого действия, но только после загрузки.
(forall (?г?а1) (iff (possibly_reusable ?г ?а1)
(forall (?a2 ?occ1 ?occ2)
(implies (and (common ?al ?a2 ?r)
(subactivity ?a1 ?a)
(subactivity ?a2 ?a)
(occurrence.of ?occ2 ?a1))
(exists (?b)
(and (exists (?occ3)
(and (subactivity.occurrence ?occ3 ?b)
(occurrence.of ?b ?a)
(precedes ?occ2 ?occ3))
(poss ?a2 ?occ3)))))))
10