收藏到云盘
纠错反馈

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

Industrial automation systems and integration - Process specification language - Part 12：Outer core
基本信息
  • 标准号：
    GB/T 20719.12-2010
  • 名称：
    工业自动化系统与集成 过程规范语言 第12部分：外核
  • 英文名称：
    Industrial automation systems and integration - Process specification language - Part 12：Outer core
  • 状态：
    现行
  • 类型：
    国家标准
  • 性质：
    推荐性
  • 发布日期：
    2011-01-14
  • 实施日期：
    2011-06-01
  • 废止日期：
    暂无
  • 相关公告：
    实施公告【关于批准发布《人机界面标志标识的基本和安全规则操作规则》等611项国家标准的公告】
分类信息
描述信息
  • 前言：
    暂无
  • 适用范围：
    GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
    GB/T 20719本部分的范围包括：
    ——活动和子活动的集合；
    ——离散活动和状态；
    ——活动发生的约束；
    ——基本活动的并发；
    ——复杂活动；
    ——复杂活动的发生。
  • 引用标准：
    暂无
相关标准
  • 引用标准：
    GB/T 16262.1 GB/T 16656.1 GB/T 19114.1 GB/T 20719.1 GB/T 20719.11
  • 采用标准：
    ISO 18629-12:2005 工业自动化系统与集成 过程与规范语言 第12部分:外核 （等同采用 IDT）
相关部门
  • 提出部门：
    中国机械工业联合会
  • 起草单位：
    清华大学 北京机械工业自动化研究所
  • 归口单位：
    全国自动化系统与集成标准化技术委员会(SAC/TC 159)
  • 主管部门：
    全国自动化系统与集成标准化技术委员会(SAC/TC 159)
相关人员
暂无
关联标准