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