Обозначение: | ГОСТ Р ИСО 18629-14-2011 |
Текущий статус документа: | действующий |
Название документа рус.: | Системы промышленной автоматизации и интеграции. Язык спецификаций процесса. Часть 14. Теории ресурсов |
Название документа англ.: | Industrial automation systems and integration. Process specification language. Part 14. Resource theories |
Дата актуализации текста: | 01.12.2013 |
Дата издания: | 23.07.2013 |
Дата введения: | 01.01.2013 |
Дата последнего изменения: | 11.09.2013 |
Область применения: | В настоящем стандарте в виде аксиом и определений установлены основные принципы, связанные с внешним ядром языка спецификаций процесса (outer core). Приведенные аксиомы обеспечивают аксиоматизацию семантики терминологии, принятой в настоящем стандарте |
|