GB/T 20719.12-2010

摘要：GB/T 20719.12-2010标准2011年01月14日发布2011年06月01日实施，GB／T 20719的本部分通过使用GB／T 20719的一组公理和定义提供了属于PSI。语言外核的概念表述。这些公理为GB／T 20719外核中的术语提供了语义的公理化。GB／T 20719本部分的范围包括：活动和子活动的集合；——离散活动和状态；活动发生的约束；一一基本活动的并发；一复杂活动；——复杂活动的发生。国家标准《工业自动化系统与集成 过程规范语言 第12部分：外核》由TC159（全国自动化系统与集成标准化技术委员会）归口上报，TC159SC4（全国自动化系统与集成标准化技术委员会工业数据分会）执行，主管部门为中国机械工业联合会。