ISO/IEC 15909-2:2011 软件和系统工程 高级Petri网 第2部分：传输格式

标准编号：ISO/IEC 15909-2:2011

中文名称：软件和系统工程 高级Petri网 第2部分：传输格式

英文名称：Systems and software engineering — High-level Petri nets — Part 2: Transfer format

发布日期：2011-02

标准范围

ISO/IEC 15909-2:2011为Petri网定义了一种基于XML的传输格式，该格式在ISO/IEC 15909-1中进行了概念和数学定义。这种传输格式能够在不同的Petri网工具之间以及不同的方之间交换Petri网。此外，ISO/IEC 15909-2:2011定义了一些概念和基于XML的语法，用于定义Petri网的详细图形外观。ISO/IEC 15909-2:2011的重点是位置/转换网、高级Petri网和对称网的传输格式。然而，该演示文稿的结构是为未来的扩展开放的，这样以后就可以添加其他版本的Petri网。这种扩展机制的确切定义，称为Petri网类型定义，在ISO/IEC 15909-2:2011中没有定义；它将在ISO/IEC 15909-3中进行定义。传输格式将用于在工具之间传输在高级Petri网中开发的系统规范，以促进团队中系统的开发。ISO/IEC 15909-2:2011是作为Petri网工具开发人员的参考而编写的。它对定义Petri网的新版本和变体的研究人员也很有用。

ISO/IEC 15909-2:2011 defines an XML-based transfer format for Petri nets, which are defined conceptually and mathematically in ISO/IEC 15909-1. This transfer format enables the exchange of Petri nets among different Petri net tools and among different parties. Moreover, ISO/IEC 15909-2:2011 defines some concepts and XML-based syntax for defining the detailed graphical appearance of Petri nets.The focus of ISO/IEC 15909-2:2011 is on the transfer format for Place/Transition Nets, High-level Petri Nets and Symmetric Nets. The presentation, however, is structured in such a way that it is open for future extensions, so that other versions of Petri nets can be added later. The exact definition of this extension mechanism, called Petri net type definition, is not defined in ISO/IEC 15909-2:2011; it will be defined in ISO/IEC 15909-3. The transfer format will be used to transfer specifications of systems developed in High-level Petri Nets between tools to facilitate the development of systems in teams. ISO/IEC 15909-2:2011 is written as a reference for developers of Petri net tools. It will also be useful for researchers who define new versions and variants of Petri nets.

标准预览图