标准编号：ISO/IEC 15909-2:2011
中文名称：软件和系统工程 高级Petri网 第2部分：传输格式
英文名称：Systems and software engineering — High-level Petri nets — Part 2: Transfer format
发布日期：2011-02
标准范围
This part of ISO/IEC 15909 defines an XML-based transfer format for Petri nets, which are defined conceptually andmathematically in ISO/IEC 15909-1. This transfer format enables the exchange of Petri nets among different Petrinet tools and among different parties. Moreover, this part of ISO/IEC 15909 defines some concepts and XML-basedsyntax for defining the detailed graphical appearance of Petri nets.The focus of this part of ISO/IEC 15909 is on the transfer format for Place/Transition Nets, High-level Petri Nets andSymmetric Nets. The presentation, however, is structured in such a way that it is open for future extensions, so thatother versions of Petri nets can be added later. The exact definition of this extension mechanism, called Petri nettype definition, is not defined in this part of ISO/IEC 15909; 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 betweentools to facilitate the development of systems in teams.This part of ISO/IEC 15909 is written as a reference for developers of Petri net tools. Moreover, it will be useful forresearchers who define new versions and variants of Petri nets.
立即下载标准文件