GB/T20719.14-2010工业自动化系统与集成过程规范语言第14部分:资源理论

2025-06-29

根据GB/T207191中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。以下各项属于本部分的范畴:—资源;—资源和活动间的关系;—资源集;—增加量。

标准号:GB/T 2071914-2010

标准名称:工业自动化系统与集成 过程规范语言 第14部分:资源理论

英文名称:Industrial automation systems and integration - Process specification language - Part 14: Resource theories

标准类型:国家标准

标准性质:推荐性

标准状态:现行

发布日期:2010-12-01

实施日期:2011-05-01

中国标准分类号(CCS):电子元器件与信息技术>>计算机>>L67计算机应用

国际标准分类号(ICS):机械制造>>工业自动化系统>>2504040工业过程的测量与控制

起草单位:中国标准化研究院、重庆市标准化研究所

归口单位:全国自动化系统与集成标准化技术委员会(SAC/TC 159)

发布单位:国家质量监督检验检疫

GB/T20719.43-2010工业自动化系统与集成 过程规范语言 第43部分:定义性扩展:活动次序和持续时间扩展
GB/T20719.13-2010工业自动化系统与集成过程规范语言第13部分:时序理论
猜您喜欢......
返回顶部小火箭