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网的新版本和变体的研究人员也很有用。

标准预览图