标准号:ISO/IEC 15909-1-2004
中文标准名称:软件和系统工程.**皮特里网.第1部分:概念、定义和图形注释
英文标准名称:System and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation
标准类型:L77
发布日期:1999/12/31 12:00:00
实施日期:1999/12/31 12:00:00
中国标准分类号:L77
国际标准分类号:35.080
适用范围:1.1 PurposeThis International Standard defines a Petri net technique, called High-level Petri Nets, includingits syntax and semantics. It provides a reference definition that can be used both withinand between organisations, to ensure a common understanding of the technique and of thespecifications written using the technique. This International Standard will also facilitate thedevelopment and interoperability of Petri net computer support tools.Part 1 of this International Standard defines a mathematical semantic model, an abstract mathematicalsyntax for annotations and a graphical notation for High-level Petri Nets, known asthe High-level Petri Net Graph. A mathematical mapping is provided that defines the graphicalform in terms of the semantic model. A transfer format for the High-level Petri Net Graph is thesubject of Part 2 of this International Standard, while Part 3 addresses techniques for modularity(such as hierarchies) and the augmentation of High-level Petri Nets with time.1.2 Field of ApplicationThis International Standard is applicable to a wide variety of concurrent discrete event systemsand in particular distributed systems. Generic fields of application include:1.3 AudiencePart 1 of this International Standard is written as a reference for systems analysts, designers,developers, maintainers and procurers, and for Petri net tool designers and standards developers.
相关标准
《GB/T26384-20115.2.8》针织棉服装
《GB/T31888-20155.6》中小学生校服
《GB/T31888-20155.3》中小学生校服
《GB/T31888-20155.2》中小学生校服
《GB/T33271-20164.13》机织婴幼儿服装
《GB/T31900-20154.4.1》机织儿童服装
《GB/T31900-20153.12.1》机织儿童服装
《GB/T22848-20096.5》针织成品布
《GB/T31888-20155.4》中小学生校服
《GB/T31900-20153.12.1》机织儿童服装
百检网专注于为第三方检测机构以及中小微企业搭建互联网+检测电商服务平台,是一个创新模式的检验检测服务网站。百检网致力于为企业提供便捷、高效的检测服务,简化检测流程,提升检测服务效率,利用互联网+检测电商,为客户提供多样化选择,从根本上降低检测成本提升时间效率,打破行业壁垒,打造出行业创新的检测平台。
百检能给您带来哪些改变?
1、检测行业全覆盖,满足不同的检测;
2、实验室全覆盖,就近分配本地化检测;
3、工程师一对一服务,让检测更精准;
4、免费初检,初检不收取检测费用;
5、自助下单 快递免费上门取样;
6、周期短,费用低,服务周到;
7、拥有CMA、CNAS、CAL等权威资质;
8、检测报告权威有效、中国通用;