GB/T 20719.12-2010
工业自动化系统与集成 过程规范语言 第12部分：外核

Industrial automation systems and integration.Process specification language.Part 12:Outer core

GBT20719.12-2010, GB20719.12-2010

GB/T 20719.12-2010 发布历史

GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括： 活动和子活动的集合； 离散活动和状态； 活动发生的约束； 基本活动的并发； 复杂活动； 复杂活动的发生。

GB/T 20719.12-2010由国家质检总局 CN-GB 发布于 2011-01-14，并于 2011-06-01 实施。

GB/T 20719.12-2010 在中国标准分类中归属于: L67 计算机应用，在国际标准分类中归属于: 25.040.40 工业过程的测量和控制。

GB/T 20719.12-2010 采用标准及采用方式

• IDT ISO 18629-12:2005工业自动化系统和集成.工艺规范语言.第12部分:外芯

GB/T 20719.12-2010 发布之时，引用了标准

• GB/T 16262.1 信息技术.抽象语法记法-(ASN.1).第1部分:基本记法规范
• GB/T 16656.1 工业自动化系统与集成.产品数据表达与交换.第1部分:概述与基本原理
• GB/T 19114.1 工业自动化系统与集成 工业制造管理数据 第1部分;综述
• GB/T 20719.1 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理
• GB/T 20719.11 工业自动化系统与集成 过程规范语言 第11部分：PSL核心

GB/T 20719.12-2010的历代版本如下：

• 2011年 GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核

标准号

GB/T 20719.12-2010

别名

GBT20719.12-2010
GB20719.12-2010

发布

2011年

采用标准

ISO 18629-12:2005 IDT

发布单位

国家质检总局

当前最新

GB/T 20719.12-2010

 

 

引用标准

GB/T 16262.1 GB/T 16656.1 GB/T 19114.1 GB/T 20719.1 GB/T 20719.11

推荐

GB/T 20719.12-2010系列标准

谁引用了GB/T 20719.12-2010 更多引用