本标准为GB/T 20719.13-2010，标准的中文名称为工业自动化系统与集成 过程规范语言 第13部分:时序理论，标准的英文名称为Industrial automation systems and integration. Process specification language. Part 13uration and ordering theories，本标准在2010-09-02发布，在2010-12-01开始实施。
该标准采用了标准ISO 18629-13-2006,IDT。
GB/T 20719的本部分提供了与活动的次序和周期约束相关的基本概念的表述,其范围如下:子活动发生次序;周期;迭代发生次序;发生树自同态;活动包络。
本标准文件共有31页。
uration and ordering theories，本标准在2010-09-02发布，在2010-12-01开始实施。
GB_T 20719.13-2010 工业自动化系统与集成 过程规范语言 第13部分_时序理论.pdf