工业自动化系统与集成 过程规范语言 第12部分：外核 现行
Industrial automation systems and integration—Process specification language—Part 12:Outer core
标准号：GB/T 20719.12-2010
基本信息
标准号：GB/T 20719.12-2010
发布时间：2011-01-14
实施时间：2011-06-01
首发日期：2011-01-14
出版单位：中国标准出版社查看详情>
起草人：刘颖、黄双喜
出版机构：中国标准出版社
标准分类： 计算机应用
ICS分类：工业过程的测量与控制
提出单位：中国机械工业联合会
起草单位：北京机械工业自动化研究所、清华大学
归口单位：全国自动化系统与集成标准化技术委员会(SAC/TC 159)
发布部门：中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会
主管部门：全国自动化系统与集成标准化技术委员会(SAC/TC 159)
标准简介
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。GB/T 20719本部分的范围包括：——活动和子活动的集合；——离散活动和状态；——活动发生的约束；——基本活动的并发；——复杂活动；——复杂活动的发生。
推荐检测机构
申请入驻
暂未检测到相关机构，邀您申请入驻~
推荐认证机构
申请入驻
暂未检测到相关机构，邀您申请入驻~
推荐培训机构
申请入驻
暂未检测到相关机构，邀您申请入驻~
© 2018 北京寰标伟业科技发展有限公司版权所有并保留所有权利。
ICP备案证书号：京ICP备17031081号-1 客服电话：010-62050868
