GB/T 20719.12-2010 工业自动化系统与集成过程规范语言第12部分：外核

百检网 2021-07-29

标准号：GB/T 20719.12-2010
中文标准名称：工业自动化系统与集成过程规范语言第12部分：外核
英文标准名称：Industrial automation systems and integration.Process specification language.Part 12:Outer core
标准类型：L67
发布日期：2011/1/14 12:00:00
实施日期：2011/6/1 12:00:00
中国标准分类号：L67
国际标准分类号：25.040.40
引用标准：GB/T 16262.1;GB/T 16656.1;GB/T 19114.1;GB/T 20719.1;GB/T 20719.11
适用范围：GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。GB/T 20719本部分的范围包括：活动和子活动的集合；离散活动和状态；活动发生的约束；基本活动的并发；复杂活动；复杂活动的发生。

百检能给您带来哪些改变？

1、检测行业全覆盖，满足不同的检测；

2、实验室全覆盖，就近分配本地化检测；

3、工程师一对一服务，让检测更精准；

4、免费初检，初检不收取检测费用；

5、自助下单快递免费上门取样；

6、周期短，费用低，服务周到；

7、拥有CMA、CNAS、CAL等权威资质；

8、检测报告权威有效、中国通用；

客户案例展示

相关商品

上一篇《GB/T 26200-2010 应急呼叫器》

下一篇《GB/T 26817-2011 企业信用调查报告格式规范.基本信息报告、普通调查报告、深度调查报告》

版权与免责声明

①本网注名来源于“互联网”的所有作品，版权归原作者或者来源机构所有,如果有涉及作品内容、版权等问题，请在作品发表之日起一个月内与本网联系，联系邮箱service@baijiantest.com，否则视为默认百检网有权进行转载。

②本网注名来源于“百检网”的所有作品，版权归百检网所有，未经本网授权不得转载、摘编或利用其它方式使用。想要转载本网作品，请联系:service@baijiantest.com。已获本网授权的作品，应在授权范围内使用，并注明"来源：百检网"。违者本网将追究相关法律责任。

③本网所载作品仅代表作者独立观点，不代表百检立场，用户需作出独立判断，如有异议或投诉，请联系service@baijiantest.com

行业热点