美利体育登录入口官网:GSO ISO 18629-43:2016 工业自动化系统和集成 过程规范语言 第43部分：定义扩展：活动排序和持续时间扩展
Industrial automation systems and integration -- Process specification language -- Part 43: Definitional extension: Activity ordering and duration extensions
ISO 18629 的这一部分提供了该语言的非原始概念的规范，使用一组以 ISO 18629 语言编写的定义。这些定义提供了 ISO 18629 这一部分中术语的语义公理化。以下是在 ISO 18629 本部分的范围内： - 使用 ISO 18629-13 中指定的术语定义概念。以下内容超出了 ISO 18629 本部分的范围： - 仅使用 ISO 18629-11 和 ISO 18629-12 中指定的术语来定义状态和时间相关概念。