工业自动化系统与集成 过程规范语言 第43部分:定义性扩展:活动次序和持续时间扩展
Industrial automation systems and integration - Process specification language - Part 43:Definitional extension:Activity ordering and duration extensions
标准状态
发布于:2011-01-14
实施于:2011-06-01
废止
基本信息
GB/T 20719.43-2010
现行
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中指定的术语。