标准号：GB/T 20719.43-2010
标准名称：工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展
发布日期：2011-01-14
实施日期：2011-06-01
批准发布部门：中国机械工业联合会
归口单位：全国自动化系统与集成标准化技术委员会
起草单位：北京机械工业自动化所、清华大学
起草人：高雪芹、黄双喜
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中指定的术语。
