标准摘要
[中文适用范围]： ISO/IEC 15909 的这一部分定义了 Petri 网的基于 XML 的传输格式，该格式在 ISO/IEC 15909-1 中从概念上和数学上进行了定义。 这种传输格式使得不同 Petri 网工具之间以及不同各方之间可以进行 Petri 网交换。 此外，ISO/IEC 15909 的这一部分定义了一些概念和基于 XML 的语法，用于定义 Petri 网的详细图形外观。 ISO/IEC 15909 这部分的重点是位置/转换网络、高级 Petri 网络和对称网络的传输格式。 然而，该演示文稿的结构方式是对未来的扩展开放的，以便以后可以添加其他版本的 Petri 网。 这种扩展机制的确切定义，称为Petri网类型定义，在ISO/IEC 15909的这一部分中没有定义；它将在 ISO/IEC 15909-3 中定义。 该传输格式将用于在工具之间传输在高级Petri网中开发的系统规范，以方便团队中的系统开发。 ISO/IEC 15909的这一部分是作为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.
英文名称Systems and software engineering - High-level Petri nets - Part 2: Transfer format