この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
導入
ISO/IEC 15909 は、ハイレベル ペトリ ネットとして知られるモデリング言語とその転送形式の定義に関係しています。 ISO/IEC 15909-1 は、セマンティック モデルと呼ばれるハイレベル ペトリ ネットの数学的定義、ハイレベル ペトリ ネット グラフ( hlpngs ) として知られる技術のグラフィック形式、およびセマンティック モデルへのそのマッピングを提供します。また、 hlpngの一般的な表記規則もいくつか紹介します。
ISO/IEC 15909 のこの部分では、さまざまなツール間でのハイレベル ペトリ ネットの交換をサポートするために、ハイレベル ペトリネットの転送形式が定義されています。この形式は、ペトリ ネット マークアップ言語( pnml ) と呼ばれます。高レベルのペトリ ネットに加えて、ペトリ ネットにはさまざまなバージョンがあるため、ISO/IEC 15909 のこの部分では、あらゆる種類のペトリ ネットの交換に使用できるXML構文とともにペトリ ネットの中心的な概念を定義しています。このpnmlコア モデルに基づいて、 ISO/IEC 15909 のこの部分では、ISO/IEC 15909-1 で定義されている 3 つのバージョンのペトリ ネット(配置/遷移ネット、対称ネット1 、および高レベル)の転送構文も定義しています。ペトリネット。配置/遷移ネットと対称ネットwhere 高レベルのペトリ ネットの制限されたバージョンと考えることができます。プレイス/トランジション ネットに関して、 ISO/IEC 15909 のこの部分では 2 つの異なる転送フォーマットが導入されています。1 つはプレイス/トランジション ネット専用に調整されたフォーマットで、もう 1 つはハイレベルの制限されたバージョンとしてプレイス/トランジション ネットを表すフォーマットです。 ISO/IEC 15909-1 で定義されているペトリ ネット。
ISO/IEC 15909 のこの部分への準拠の基本レベルは、 pnmlコア モデルです。他のレベルは、ペトリ ネットの特定のタイプに応じて異なります。高レベル ペトリ ネットの場合、準拠には 2 つのレベルがあります。テキスト準拠では、ラベルの正確な構文と構造が無視されます。構造的適合性を実現するには、ラベルがここで定義されているとおりの正確な構文で指定される必要があります。対称ネットは分析可能性を目的として設計されているため、対称ネットではテキストの適合性は意味を持ちません。したがって、対称ネットには構造的適合のみが存在します。
ISO/IEC 15909 のこの部分では、ISO/IEC 15909-1 で定義されていない概念がいくつか導入されていることに注意してください。これらの概念は、ペトリ ネットおよびそのセマンティクスの数学的概念とは関係ありません。それらは、ネットのグラフィック表現と大規模なペトリ ネットモデルの構造に関係します。さまざまなツールでのペトリ ネットのグラフィカルな外観を確実に類似させるために、これらの概念をペトリ ネットの転送形式とともに定義する必要があります。
ISO/IEC 15909 のこの部分は次のように構成されています。第 1 条では、ISO/IEC 15909 のこの部分の範囲、適用分野、および対象読者を説明します。第 2 条では適合性を定義します。第 3 項には、この国際規格を正しく解釈するために不可欠な参考文献が記載されています。第 4 条は、この国際規格に関連するすべての用語を定義しており、略語のリストが含まれています。第 5 条では、UNML メタ モデルを使用して PNML の概念を導入します。条項 5.2 は、ペトリ ネットのすべてのバージョンに共通の構造である PNMLコア モデルを定義します。第 5.3 条では、さまざまなペトリ ネット タイプの特定の概念を定義します。第 6 項は、ISO/IEC 15909 のこの部分で定義されている構文概念と ISO/IEC 15909-1 で定義されている概念のマッピングを提供します。第 7 条では、第 5 条で定義されている PNML の概念が XML 構文にどのようにマッピングされるかを定義します。
付録 A は、緩和文法の観点から、 pnmlコア モデルの正確なXML構文を定義します。付録 B は、さまざまなタイプのペトリ ネットの正確なXML構文を定義します。付録 C は、対称ネットの構文の簡単な例を示しています。付録 D では、この国際標準を実装するためのフレームワークと、 pnmlメタ モデルのumlモデルに基づくペトリ ネットにアクセスするための API について説明します。
Introduction
ISO/IEC 15909 Is concerned with defining a modelling language and Its transfer format, known as High-level Petri Nets. ISO/IEC 15909-1 provides the mathematical definition of High-level Petri Nets, called the semantic model, the graphical form of the technique, known as High-level Petri Net Graphs (hlpngs), and Its mapping to the semantic model. It also Introduces some common notational conventions for hlpngs.
This part of ISO/IEC 15909 defines a transfer format for High-level Petri Nets In order to support the exchange of High-level Petri Nets among different tools. This format Is called the Petri Net Markup Language ( pnml ). Since there are many different versions of Petri nets In addition to High-level Petri Nets, this part of ISO/IEC 15909 defines the core concepts of Petri nets along with an XML syntax, which can be used for exchanging any kind of Petri net. Based on this pnml Core Model, this part of ISO/IEC 15909 also defines the transfer syntax for the three versions of Petri nets that are defined In ISO/IEC 15909-1: Place/Transition Nets, Symmetric Nets1 , and High-level PetriNets, where Place/Transition Nets and Symmetric Nets can be considered to be restricted versions of High-levelPetri Nets. For Place/Transition Nets, this part of ISO/IEC 15909 introduces two different transfer formats: one is a format specifically tuned to Place/Transition Nets, the other is a format that represents Place/Transition Nets as a restricted version of High-level Petri Nets as defined In ISO/IEC 15909-1.
The basic level of conformance to this part of ISO/IEC 15909 is to the pnml Core Model. The other levels are according to the particular type of the Petri net, for High-level Petri Nets there are two levels of conformance: textualconformance ignores the exact syntax and structure of the labels; structural conformance requires that labels are given in the exact syntax as defined here. Since Symmetric Nets are designed for analysability, textual conformance does not make any sense for Symmetric Nets; therefore, there Is only structural conformance for Symmetric Nets.
Note that this part of ISO/IEC 15909 introduces some concepts that are not defined in ISO/IEC 15909-1. These concepts are not related to the mathematical concepts of Petri nets and their semantics. They concern the graphical representation of nets and the structuring of large Petri net models. These concepts need to be defined, along with a transfer format for Petri nets, in order to ensure that the graphical appearance of a Petri net in different tools Is similar.
This part of ISO/IEC 15909 is structured as follows: Clause 1 describes the scope, the areas of application and the intended audience of this part of ISO/IEC 15909. Clause 2 defines conformance. Clause 3 gives references that are essential for the correct Interpretation of this International Standard. Clause 4 defines all terms relevant to this International Standard and Includes a list of abbreviations. Clause 5 Introduces the concepts of PNML using UNML meta models. Clause 5.2 defines the PNML Core Model, which Is the structure common to all versions of Petri nets. Clause 5.3 defines the particular concepts of the different Petri net types. Clause 6 provides the mapping of the syntactical concepts defined In this part of ISO/IEC 15909 to the concepts defined In ISO/IEC 15909-1. Clause 7 defines how the concepts of PNML as defined In Clause 5 are mapped to XML syntax.
Annex A defines the exact xml syntax for the pnmlCore Model In terms of a relex ng grammar. Annex B defines the exact xml syntax for the different types of Petri nets. Annex C provides a small example for the syntax of a symmetric net. Annex D discusses a framework for Implementing this International Standard and an API for accessing Petri nets, which Is based on the uml models for the pnml meta models.