路径: 主页 > GB/T > 第231页 > GB/T 20719.12-2010

[PDF] GB/T 20719.12-2010 - 英文版

标准号码	内文	价格美元	第2步(购买)	交付天数	标准名称	状态
GB/T 20719.12-2010	英文版	834	GB/T 20719.12-2010	[PDF]天数 >=5	工业自动化系统与集成　过程规范语言　第12部分：外核	有效

基本信息
标准编号	GB/T 20719.12-2010 (GB/T20719.12-2010)
中文名称	工业自动化系统与集成　过程规范语言　第12部分：外核
英文名称	Industrial automation systems and integration -- Process specification language -- Part 12: Outer core
行业	国家标准 (推荐)
中标分类	L67
国际标准分类	25.040.40
字数估计	42,496
发布日期	2011-01-14
实施日期	2011-06-01
引用标准	GB/T 16262.1; GB/T 16656.1; GB/T 19114.1; GB/T 20719.1; GB/T 20719.11
采用标准	ISO 18629-12-2005, IDT
标准依据	国家标准批准发布公告2011年第2号
发布机构	中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
范围	GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语方外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。 GB/T 20719本部分的范围包括:活动和子活动的集合;离散活动和状态;活动发生的约束;基本活动的并发;复杂活动;复杂活动的发生。

......