- 您的位置:
- 中国标准在线服务网 >>
- 全部标准分类 >>
- 国家标准 >>
- 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 45228-2025 信息技术 生物特征识别产品适老化通用要求
- GB/T 45301-2025 服务机器人云平台分类及参考体系结构
- GB/T 45341-2025 数字化转型管理 参考架构
- GB/T 45393.2-2025 信息技术 建筑信息模型(BIM)软件 第2部分:参数化模型
- GB/T 45397-2025 信息技术 生态环境大数据 系统框架
- GB/T 45398-2025 信息技术 众包服务平台 功能通用要求
- GB/T 45408-2025 信息技术 生态环境大数据 数据分类与代码
- GB/T 45393.4-2025 信息技术 建筑信息模型(BIM)软件 第4部分:网格模型
- GB/T 45393.5-2025 信息技术 建筑信息模型(BIM)软件 第5部分:数据接口
- GB/T 45403-2025 数字化供应链 成熟度模型
- GB/T 36342-2018 智慧校园总体框架
- GB/T 36343-2018 信息技术 数据交易服务平台 交易数据描述
- GB/T 36348-2018 信息技术 学习、教育和培训 虚拟实验 框架
- GB/T 36349-2018 信息技术 学习、教育和培训 虚拟实验 数据交换
- GB/T 36350-2018 信息技术 学习、教育和培训 数字化学习资源语义描述