标准简介
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括： ——活动和子活动的集合； ——离散活动和状态； ——活动发生的约束； ——基本活动的并发； ——复杂活动； ——复杂活动的发生。英文名称：Industrial automation systems and integration—Process specification language—Part 12:Outer core
标准状态：现行
中标分类：电子元器件与信息技术>>计算机>>L67计算机应用
ICS分类：机械制造>>工业自动化系统>>25.040.40工业过程的测量与控制
发布部门：国家质量监督检验检疫.
发布日期：2011-01-14
实施日期：2011-06-01
出版日期：2011-06-01
页数：44页
前言
计算机应用相关标准
