标准编号：ISO/IEC 15909-3:2021
中文名称：系统和软件工程 高级Petri网 第3部分：扩展和结构机制
英文名称：Systems and software engineering — High-level Petri nets — Part 3: Extensions and structuring mechanisms
发布日期：2021-11
标准范围
This document defines enrichments, extensions and structuring mechanisms of Petri nets, applied on the definitions proposed in ISO/IEC 15909-1. This document facilitates the definitions of new kinds of Petri nets and their interoperability, while remaining compatible with those defined in ISO/IEC 15909- 1. This document is written as a reference for designers of new Petri net variants, by defining common enrichments, extensions and structuring mechanisms, as well as a generalized process for defining new ones.
立即下载标准文件