标准编号：GB/T 20719.12-2010
标准名称：工业自动化系统与集成 过程规范语言 第12部分：外核
英文名称：Industrial automation systems and integration - Process specification language - Part 12：Outer core
发布部门：国家质量监督检验检疫总局、国家标准化管理委员会
起草单位：北京机械工业自动化研究所、清华大学
标准状态：现行
发布日期：2011-01-14
实施日期：2011-06-01
标准格式：PDF
内容简介
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
下载地址