[PDF] GB/T 20719.12-2010 - 英文版
| 标准号码 | 美元 | 购买PDF | 工期 | 标准名称(英文版) |
| GB/T 20719.12-2010 | 834 | GB/T 20719.12-2010 | <=5 | 工业自动化系统与集成 过程规范语言 第12部分：外核 |
| 基本信息 | |
|---|---|
| 标准编号 | GB/T 20719.12-2010 (GB/T20719.12-2010) |
| 中文名称 | 工业自动化系统与集成 过程规范语言 第12部分：外核 |
| 英文名称 | Industrial automation systems and integration -- Process specification language -- Part 12: Outer core |
| 行业 | 国家标准 (推荐) |
| 中标分类 | L67 |
| 国际标准分类 | 25.040.40 |
| 字数估计 | 42,496 |
| 发布日期 | 2011-01-14 |
| 实施日期 | 2011-06-01 |
| 引用标准 | GB/T 16262.1; GB/T 16656.1; GB/T 19114.1; GB/T 20719.1; GB/T 20719.11 |
| 采用标准 | ISO 18629-12-2005, IDT |
| 标准依据 | 国家标准批准发布公告2011年第2号 |
| 发布机构 | 中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会 |
| 范围 | GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括:活动和子活动的集合;离散活动和状态;活动发生的约束;基本活动的并发;复杂活动;复杂活动的发生。 |
......