检测报告图片模板：
检测执行标准信息一览：
标准简介：GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。GB/T 20719本部分的范围包括：——活动和子活动的集合；——离散活动和状态；——活动发生的约束；——基本活动的并发；——复杂活动；——复杂活动的发生。
标准号：GB/T 20719.12-2010
标准名称：工业自动化系统与集成 过程规范语言 第12部分：外核
英文名称：Industrial automation systems and integration—Process specification language—Part 12:Outer core
标准类型：国家标准
标准性质：推荐性
标准状态：现行
发布日期：2011-01-14
实施日期：2011-06-01
中国标准分类号（CCS）：电子元器件与信息技术>>计算机>>L67计算机应用
国际标准分类号（ICS）：机械制造>>工业自动化系统>>25.040.40工业过程的测量与控制
起草单位：北京机械工业自动化研究所、清华大学
归口单位：全国自动化系统与集成标准化技术委员会(SAC/TC 159)
发布单位：国家质量监督检验检疫.
检测流程步骤
免责声明：
1.本站标准库为非营利性质，仅供各行人士相互交流、学习使用，使用标准请以正式出版的标准版本为准。
2.全部标准资料均来源于网络，不保证文件的准确性和完整性，如因使用文件造成损失，本站不承担任何责任。
3.全部标准资料均来源于网络，本站不承担任何技术及版权问题，如有相关内容侵权，请联系我们删除。
