标准详情
工业自动化系统与集成 过程规范语言 第12部分：外核
Industrial automation systems and integration - Process specification language - Part 12：Outer core
GB/T 20719.12-2010现行国家标准
下载标准电子版
PDF · 40 页 · 717.92KB
登录后可查看已购记录，会员和金币权益与电子标准网共用。
基础信息
标准号
GB/T 20719.12-2010
标准状态
现行
发布日期
2011-01-14
实施日期
2011-06-01
中国标准分类号
L67
国际标准分类号
25.040.40
主管部门
中国机械工业联合会
发布部门
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
技术归口
中国机械工业联合会
标准简介
GB／T 20719的本部分通过使用GB／T 20719的一组公理和定义提供了属于PSI。语言外核的概念 表述。这些公理为GB／T 20719外核中的术语提供了语义的公理化。 GB／T 20719本部分的范围包括： 活动和子活动的集合； ——离散活动和状态； 活动发生的约束； 一一基本活动的并发； 一复杂活动； ——复杂活动的发生。
内容预览
相关标准
| 标准号 | 标准名称 | 状态 | 发布日期 | 实施日期 |
|---|---|---|---|---|
| JJF（冀）5016-2026 | 白内障超声乳化仪校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）269-2026 | 模拟量输入输出通道模板校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）268-2026 | 工频高压试验装置校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJG（冀）275-2026 | 车用甲醇燃料加注机检定规程 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）272-2026 | 橡胶平板硫化机温度、压力参数校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）273-2026 | 直接检眼镜校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）271-2026 | 橡胶可塑性试验机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）270-2026 | 汽车内饰材料燃烧试验机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）274-2026 | 转子式定量给料机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）5014-2026 | 脉搏血氧计校准规范 | 现行 | 2026-10-12 | 2026-10-12 |