立即下载标准文件- GB/T 20719.43-2010 工业自动化系统与集成 过程规范语言 第43部分：定义性扩展：活动次序和持续时间扩展
- GB/T 17213.17-2010 工业过程控制阀 第2-5部分：流通能力 流体流经级间恢复多级控制阀的计算公式
- GB/T 23756.2-2010 电气绝缘系统耐电寿命评定 第2部分：在极值分布基础上的评定程序
- GB/T 25921-2010 电气和仪表回路检验规范
- GB 26133-2010 非道路移动机械用小型点燃式发动机排气污染物排放限值与测量方法（中国第一、二阶段）
- GB 26164.1-2010 电业安全工作规程 第1部分：热力和机械
- GB/T 18028-2010 中国盲文数学、物理、化学符号
- GB/T 17020-2010 克山病病区判定和类型划分
- GB/T 14078-2010 氦氖激光器技术条件
- GB/T 26323-2010 色漆和清漆 铝及铝合金表面涂膜的耐丝状腐蚀试验
GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分：外核
标准编号：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 20719的本部分通过使用GB／T 20719的一组公理和定义提供了属于PSI。语言外核的概念 表述。这些公理为GB／T 20719外核中的术语提供了语义的公理化。 GB／T 20719本部分的范围包括： 活动和子活动的集合； ——离散活动和状态； 活动发生的约束； 一一基本活动的并发； 一复杂活动； ——复杂活动的发生。