工业自动化系统与集成 过程规范语言 第12部分：外核
Industrial automation systems and integration - Process specification language - Part 12：Outer core
标准状态
发布于：2011-01-14
实施于：2011-06-01
废止
基本信息
GB/T 20719.12-2010
现行
2011-01-14
2011-06-01
中国机械工业联合会
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
中国机械工业联合会
北京机械工业自动化研究所、清华大学
刘颖、黄双喜
标准简介
GB／T 20719的本部分通过使用GB／T 20719的一组公理和定义提供了属于PSI。语言外核的概念 表述。这些公理为GB／T 20719外核中的术语提供了语义的公理化。 GB／T 20719本部分的范围包括： 活动和子活动的集合； ——离散活动和状态； 活动发生的约束； 一一基本活动的并发； 一复杂活动； ——复杂活动的发生。
内容预览
