英文名称：Industrial automation systems and integration - Process specification language - Part 12：Outer core
适用范围：GB / T 20719 的本部分通过使用 GB / T 20719 的一组公理和定义提供了属于 PSL 语言外核的概念表述。这些公理为 GB / T 20719 外核中的术语提供了语义的公理化。 _x000D_ GB / T 20719 本部分的范围包括： _x000D_ ― 活动和子活动的集合； _x000D_ ― 离散活动和状态； _x000D_ ― 活动发生的约束； _x000D_ ― 基本活动的并发； _x000D_ ― 复杂活动； _x000D_ ― 复杂活动的发生。