この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
1 スコープ
ISO/IEC 15909 のこの部分は、ISO/IEC 15909-1 で概念的かつ数学的に定義されているペトリ ネット用の XML ベースの転送フォーマットを定義します。この転送形式により、異なるペトリ ネットツール間および異なる関係者間でペトリ ネットを交換できるようになります。さらに、ISO/IEC 15909 のこの部分では、ペトリ ネットの詳細なグラフィック外観を定義するためのいくつかの概念と XML ベースの構文が定義されています。
ISO/IEC 15909 のこの部分の焦点は、配置/遷移ネット、ハイレベル ペトリ ネット、および対称ネットの転送フォーマットにあります。ただし、プレゼンテーションは将来の拡張に対応できるように構成されているため、ペトリ ネットの他のバージョンを後で追加できます。ペトリ ネットタイプ定義と呼ばれるこの拡張メカニズムの正確な定義は、 ISO/IEC 15909 のこの部分では定義されていません。 ISO/IEC 15909-3 で定義されます。
この転送形式は、ハイレベル ペトリ ネットで開発されたシステムの仕様をツール間で転送するために使用され、チームでのシステム開発を容易にします。
ISO/IEC 15909 のこの部分は、ペトリ ネットツールの開発者向けのリファレンスとして作成されています。さらに、ペトリ ネットの新しいバージョンやバリアントを定義する研究者にとっても役立ちます。
1 Scope
This part of ISO/IEC 15909 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, this part of ISO/IEC 15909 defines some concepts and XML-based syntax 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 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 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 between tools 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 for researchers who define new versions and variants of Petri nets.