GB/T 20719.12—2010工业自动化系统与集成 过程规范语言 第12部分:外核.pdf, 行业分类机械制造。
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSI。语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。GB/T 20719本部分的范围包括:活动和子活动的集合;——离散活动和状态;活动发生的约束;一一基本活动的并发;一复杂活动;——复杂活动的发生。
GB/T 20719.12—2010工业自动化系统与集成 过程规范语言 第12部分:外核.pdf, 行业分类机械制造。
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSI。语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。GB/T 20719本部分的范围包括:活动和子活动的集合;——离散活动和状态;活动发生的约束;一一基本活动的并发;一复杂活动;——复杂活动的发生。