ISO 18629-12:2005 工业自动化系统和整合 程序规范语言 第12部分: 外部磁圈

国际标准(ISO)

标准编号:ISO 18629-12:2005

中文名称:工业自动化系统和整合 程序规范语言 第12部分: 外部磁圈

英文名称:Industrial automation systems and integration — Process specification language — Part 12: Outer core

发布日期:2005-10

标准范围

ISO 18629-12:20 05通过一组公理和定义提供了属于语言外部核心的概念的表示。这些公理提供了ISO 18629外核中术语语义的公理化。以下内容属于ISO 18629-12:20 05的范围:活动和子活动的汇总;离散活动和状态;对活动发生的限制;原始活动的并发性;复杂的活动;复杂活动的发生。

标准预览图

下载信息


下载该资料,将扣除 50 个积分

立即下载标准文件

大家都在看