ГОСТ Р ИСО 18629-14-2011
Системы промышленной автоматизации и интеграции. Язык спецификаций процесса. Часть 14. Теории ресурсов
В стандарте в виде аксиом и определений установлены основные принципы, связанные с внешним ядром языка спецификаций процесса (outer core). Приведенные аксиомы обеспечивают аксиоматизацию семантики терминологии, принятой в стандарте.