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本部分的范围包括： 活动和子活动的集合；——离散活动和状态；活动发生的约束；一一基本活动的并发；一复杂活动； ——复杂活动的发生。