标准号:ISO 18629-12-2005
中文标准名称:工业自动化系统和集成.工艺规范语言.第12部分:外芯
英文标准名称:Industrial automation systems and integration - Process specification language - Part 12: Outer core
标准类型:N17
发布日期:1999/12/31 12:00:00
实施日期:1999/12/31 12:00:00
中国标准分类号:N17
国际标准分类号:25.040.40
适用范围:This part of ISO 18629 provides a representation of the concepts that belong to the Outer core of thelanguage, through a set of axioms and definitions. These axioms provide an axiomatization of thesemantics for terminology in the ISO 18629 Outer core.The following are within the scope of this part of ISO 18629: the aggregation of activities and sub-activities; discrete activities and state; constraints on the occurrence of activities; concurrency for primitive activities; complex activities; occurrences of complex activities.