标准详细信息
GB/T 20719.14-2010 工业自动化系统与集成过程规范语言第14部分:资源理论 现行
中国标准分类号:L67
国际标准分类号:25.040.40
英文名称:Industrial automation systems and integration - Process specification language - Part 14: Resource theories
适用范围:根据 GB / T 20719 . 1 中描述的范围,即本部分第 4 章所提及的,本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。以下各项属于本部分的范畴:_x000D_ 一资源;_x000D_ 一资源和活动间的关系;_x000D_ 一资源集;_x000D_ 一增加量。
基本信息
发布机构:
发布日期:2010-12-01
实施日期:2011-05-01
全文语种:
全文页数:24
相关单位
提出单位:
起 草 人:
起草单位: 中国标准化研究院;重庆市标准化研究所
归口单位:工业和信息化部
附录
关联公告