Petri Net Markup Language とは

ペトリネットマークアップ言語(PNML)は、ペトリネットツールがペトリネットモデルを交換できるようにするための交換フォーマットです。 PNMLは、ペトリネットツール用の標準​​インターチェンジ形式として設計されている、高レベルペトリネット用のXMLベースの構文です。 ISO規格ISO / IEC 15909の第2部になります。PNML文法は、参照サイトで公開されています。
この国際標準の最初の部分は、高レベルペトリネットの数学的定義を提供します。これらの定義はセマンティックモデルと呼ばれます。
また、高レベルペトリネットグラフ(HLPNG)と呼ばれるグラフ形式の定義と、意味モデルへのマッピングを提供します。
2004年12月現在、最初の部分は国際標準です。