ISO/IEC 15909-2:2011
系统与软件工程.高级Petri网.第2部分:转换格式
Systems and software engineering - High-level Petri nets - Part 2: Transfer format
- 标准号
- ISO/IEC 15909-2:2011
- 发布
- 2011年
- 发布单位
- 国际标准化组织
- 替代标准
- ISO/IEC 15909-2:2011/Cor 1:2013
- 当前最新
- ISO/IEC 15909-2:2011/Cor 1:2013
- 适用范围
- 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相似标准
推荐
20项医用肺呼吸机等医疗器械相关ISO标准公开
: ISO 80601-2-13:2011/Amd.1:2015, AMENDMENT 1 and ISO 80601-2-13:2011/Amd.2:2018, AMENDMENT 2]医疗电气设备 - 第2-13部分: 麻醉工作站的基本安全和基本性能的特殊要求 [包括 ISO 80601-2-13:2011/Amd.1:2015, 修订 1 和 ISO 80601-2- 13:2011/...
ISO 发布多项新标准
本系列的标准是：ISO 25119-1，农林用拖拉机和机械——控制系统的安全部件——第1部分：设计和开发的一般原则ISO 25119-2，农林用拖拉机和机械——控制系统的安全部件——第2部分：概念阶段ISO 25119-3，农林用拖拉机和机械——控制系统的安全相关部件——第3部分：系列开发、硬件和软件ISO 25119-4，农林用拖拉机和机械——控制系统的安全部件——第4部分：生产、操作、修改和支持过程...