首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ISO/IEC 15909-2:2011
到馆阅读
收藏跟踪
购买正版
Systems and software engineering - High-level Petri nets - Part 2: Transfer format 系统和软件工程.高级Petri网.第2部分:传输格式
发布日期: 2011-02-15
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.
分类信息
关联关系
研制信息
归口单位: ISO/IEC JTC 1/SC 7
相似标准/计划/法规
现行
BS ISO/IEC 15909-2-2011
Systems and software engineering. High-level Petri nets-Transfer format
系统和软件工程 高级Petri网
2014-07-31
现行
BS ISO/IEC 15909-3-2021
Systems and software engineering. High-level Petri nets-Extensions and structuring mechanisms
系统和软件工程 高级Petri网
2021-11-23
现行
ISO/IEC 15909-3-2021
Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms
系统和软件工程.高级Petri网.第3部分:扩展和结构机制
2021-11-09
现行
ISO/IEC 15909-3-2021
Systems and software engineering — High-level Petri nets — Part 3: Extensions and structuring mechanisms
系统和软件工程.高级Petri网.第3部分:扩展和结构机制
2021-11-09
现行
BS ISO/IEC 15909-1-2019
Systems and software engineering. High-level Petri nets-Concepts, definitions and graphical notation
系统和软件工程 高级Petri网
2019-09-03
现行
AS/NZS ISO/IEC 15909.1-2006
Software and system engineering - High-level Petri nets, Part 1: Concepts, definitions and graphical notation
软件和系统工程高级Petri网第1部分:概念、定义和图形符号
2006-01-25
现行
ISO/IEC 15909-1-2019
Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation
系统和软件工程.高级Petri网.第1部分:概念、定义和图形表示法
2019-08-27
现行
ISO/IEC 15909-1-2019
Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation
系统与软件工程 - 高级Petri网 - 第1部分:概念 定义和图形符号
2019-08-27