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
- 别名
- 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的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括： 活动和子活动的集合； 离散活动和状态； 活动发生的约束； 基本活动的并发； 复杂活动； 复杂活动的发生。
推荐
GB/T 20719.12-2010系列标准
GB/T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理
GB/T 20719.11-2010 工业自动化系统与集成 过程规范语言 第11部分：PSL核心
GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核
GB/T 20719.13-2010 工业自动化系统与集成 过程规范语言 第13部分:时序理论
GB/T 20719.14-2010 工业自动化系统与集成过程规范语言 第14部分：资源理论
GB/T 20719.41-2010 工业自动化系统与集成 过程规范语言 第41部分：定义性扩展：活动扩展
GB/T 20719.43-2010 工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展
GB/T 20719.44-2010 工业自动化系统与集成 过程规范语言 第44部分:定义性扩展 资源扩展