ГОСТ Р ИСО 18629-44 - 2011
- additive .th;
- requires.th;
- act_occ.th;
- complex.th;
- subactivity.th;
- occtree.th;
- disc_state.th;
- psl core.th.
7.4 Дефинициональныерасширения,обусловленные
согласованностью действий, основанной на емкости ресурса
Согласованность действий, основанная на емкости ресурса, не требует
никаких дефинициональных расширений.
7.5 Определения согласованности действий, основанной на емкости
ресурса
Длясогласованностидействий,основаннойнаемкостиресурса,
определены нижеследующие понятия.
7.5.1 exclusive use
Ресурс является эксклюзивным для некоторого действия тогда и только
тогда, когда запрос ресурса эквивалентен его предоставлению.
(forall (?а ?г) (iff (exclusive_use ?а ?г)
(forall (?q1 ?q2 ?осс ?осср)
(implies (and (do ?a ?occ ?occp)
(holds (demand ?a ?r ?ql) ?occ)
(holds (resource_point ?r ?q2) ?occ))
(= ?q1 ?q2))))))
Примечание - Если какой-либо ресурс является эксклюзивным по отношению
кдвум действиям, тоэтидвадействия не могутбытьсовместными.
7.5.2 capacity based
Ресурс определяется емкостью некоторого действия тогда и только тогда,
когда запрос ресурса меньше его предоставления.
(forall (?а?r) (iff (capacity__based ?а ?r)
(forall (?q1 ?q2 ?occ ?occp)
(implies (and (Do ?a ?occ ?occp)
(holds (demand ?a ?r ?ql) ?occ)
(holds (resource_point ?r ?q2) ?occ))
(lesser ?q1 ?q2))))))
15