美利体育登录入口官网:GB/T 20719.43-2010
工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展
Industrial automation systems and integration.Process specification language.Part 43:Definitional extension:Activity ordering and duration extensions
GBT20719.43-2010, GB20719.43-2010
正版授权中国标准出版社正式授权销售可通过授权方官方渠道验证
- 标准号
- GB/T 20719.43-2010
- 别名
- GBT20719.43-2010, GB20719.43-2010
- 发布
- 2011年
- 国际标准分类(ICS)
- 25.040.40 工业过程的测量和控制
- 总页数
- 43页
- 采用标准
- ISO 18629-43:2006 IDT
- 发布单位
- 国家市场监督管理总局
- 当前最新
- GB/T 20719.43-2010
- 引用标准
- GB/T 16262.1 GB/T 19114.1 GB/T 19114.42 GB/T 20719.1-2006 GB/T 20719.11-2010 GB/T 20719.12 GB/T 20719.13
- 本体
- 过程规范语言
- 适用范围
- GB/T 20719的本部分通过使用GB/T 20719的语言中编写的一组定义提供了该语言的非基本概念的规范。这些定义为GB/T 20719本部分的术语提供了语义的公理化。 以下包括在GB/T 20719本部分的范围内： 概念的定义，其使用GB/T 20719.13中指定的术语。 以下不在GB/T 20719本部分的范围内： 状态的定义和与时间相关的概念的定义，其只使用GB/T 20719.11和GB/T 20719.12中指定的术语。
| 术语 | 描述 |
|---|---|
| AM automorphism Automorphism | 保留模型中的关系和函数集合上的元素的一一映射。 |
| duration Duration | 活动发生的起始和结束之间的持续时间。 |
| effect Effect | 在活动中发生后保持的状态变化的结果。 |
美利体育登录入口官网: 专题
美利体育登录入口官网: GB/T 20719.43-2010相似标准
BH GSO ISO 18629-43:2017 工业自动化系统和集成 过程规范语言 第43部分：定义扩展：活动排序和持续时间扩展
OS GSO ISO 18629-43:2016 工业自动化系统和集成 过程规范语言 第43部分：定义扩展：活动排序和持续时间扩展
GSO ISO 18629-43:2016 工业自动化系统和集成 过程规范语言 第43部分：定义扩展：活动排序和持续时间扩展
GB/T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理
SS-ISO 18629-43:2006 工业自动化系统和集成 过程规范语言 第43部分：定义扩展：活动排序和持续时间扩展（ISO 18629-43:2006 IDT）
美利体育登录入口官网: GB/T 20719.43-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部分:定义性扩展 资源扩展