标准详情
- 标准名称:工业自动化系统与集成 过程规范语言 第12部分:外核
- 标准号:GB/T 20719.12-2010
- 中国标准分类号:L67
- 发布日期:2011-01-14
- 国际标准分类号:25.040.40
- 实施日期:2011-06-01
- 技术归口:全国自动化系统与集成标准化技术委员会
- 代替标准:
- 主管部门:中国机械工业联合会
- 标准分类:机械制造工业自动化系统工业过程的测量和控制
国家标准《工业自动化系统与集成 过程规范语言 第12部分:外核》由TC159(全国自动化系统与集成标准化技术委员会)归口,TC159SC4(全国自动化系统与集成标准化技术委员会工业数据分会)执行,主管部门为中国机械工业联合会。
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSI。语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括: 活动和子活动的集合; ——离散活动和状态; 活动发生的约束; 一一基本活动的并发; 一复杂活动; ——复杂活动的发生。
北京机械工业自动化研究所、清华大学、
刘颖、 黄双喜、
GB/T 20719.11-2010 工业自动化系统与集成 过程规范语言 第11部分:PSL核心
GB/T 20719.14-2010 工业自动化系统与集成 过程规范语言 第14部分:资源理论
GB/T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理
GB/T 20719.13-2010 工业自动化系统与集成 过程规范语言 第13部分:时序理论
GB/T 20719.41-2010 工业自动化系统与集成 过程规范语言 第41部分:定义性扩展:活动扩展
GB/T 20719.44-2010 工业自动化系统与集成 过程规范语言 第44部分:定义性扩展 资源扩展
GB/Z 18975.12-2023 工业自动化系统与集成 流程工厂(包括石油和天然气生产设施)生命周期数据集成 第12部分:网络本体语言(OWL)表示的生命周期集成本体
GB/T 20719.43-2010 工业自动化系统与集成 过程规范语言 第43部分:定义性扩展:活动次序和持续时间扩展
20233422-T-604 工业自动化系统与集成 工业制造管理数据 第1部分:综述
GB/T 16656.55-2010 工业自动化系统与集成 产品数据表达与交换 第55部分:集成通用资源:过程与混合表达
* 特别声明:资源收集自网络或用户上传,版权归原作者所有,如侵犯您的权益,请联系我们处理。