标准编号：ISO 18629-43:2006
中文名称：工业自动化系统和集成 工艺规范语言 第43部分：定义性扩展：活动有序化及时段扩展
英文名称：Industrial automation systems and integration — Process specification language — Part 43: Definitional extension: Activity ordering and duration extensions
发布日期：2006-08
标准范围
This part of ISO 18629 provides a specification of non-primitive concepts of the language, using a setof definitions written in the language of ISO 18629. These definitions provide an axiomatization ofthe semantics for terminology in this part of ISO 18629.The following is within the scope of this part of ISO 18629:- definitions of concepts using terminology specified in ISO 18629-13.The following is outside the scope of this part of ISO 18629:- definitions of state and time-related concepts using only terminology specified in ISO 18629-11and ISO 18629-12.
立即下载标准文件