GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核
标准名称：工业自动化系统与集成 过程规范语言 第12部分：外核
发布日期：2011-01-14
实施日期：2011-06-01
标准编号：GB/T 20719.12-2010
标准状态：现行(*非即时更新以实际为准)
标准格式：PDF电子版
简介
GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核
标准编号：GB/T 20719.12-2010
规范名称：工业自动化系统与集成 过程规范语言 第12部分：外核
GB／T 20719的本部分通过使用GB／T 20719的一组公理和定义提供了属于PSI。语言外核的概念表述。这些公理为GB／T 20719外核中的术语提供了语义的公理化。GB／T 20719本部分的范围包括：活动和子活动的集合；——离散活动和状态；活动发生的约束；一一基本活动的并发；一复杂活动；——复杂活动的发生。
全国自动化系统与集成标准化技术委员会
起草单位：北京机械工业自动化研究所、清华大学
批准发布部门：中国机械工业联合会
GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核(图)
*特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。电子文本仅供个人标准化学习、研究使用，不得复制、发行、汇编、翻译或网络传播等。如有侵权，请联系我们处理。