- 您的位置:
- 快3网下载安装到手机 >>
- 全部标准分类 >>
- 国家标准 >>
- L67 >>
- GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分:外核
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>

文前页下载
适用范围:
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
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 出版语种:
中文简体
- 推荐标准
- GB/T 44453-2024 信息技术服务 数字化转型 跨灾种监测预警系统技术要求
- GB/T 45181-2024 车联网网络安全异常行为检测机制
- GB/T 45228-2025 信息技术 生物特征识别产品适老化通用要求
- GB/T 45301-2025 服务机器人云平台分类及参考体系结构
- GB/T 44601-2024 信息技术服务 服务生存周期过程
- GB/T 30265-2013 信息技术 学习、教育和培训 学习设计信息模型
- GB/T 30438-2013 支持模块化设计的数据字典技术原则和方法
- GB/T 30850.3-2014 电子政务标准化指南 第3部分:网络建设
- GB/T 31360-2015 固定资产核心元数据
- GB/T 31490.4-2015 社区信息化 第4部分:数据元素字典
- GB/T 32236-2015 以BOM结构为核心的产品生命中期数据集成管理框架
- GB/T 32618-2016 政务服务中心信息公开业务规范
- GB/T 32619-2016 政务服务中心信息公开编码规范
- GB/T 32627-2016 信息技术 地址数据描述要求
- GB/T 32630-2016 非结构化数据管理系统技术要求