Petri Net Markup Language

Last updated

Petri Net Markup Language (PNML) is an interchange format aimed at enabling Petri net tools to exchange Petri net models. [1] PNML is an XML-based syntax for high-level Petri nets, which is being designed as a standard interchange format for Petri net tools. It will end up being the second part of the ISO standard ISO/IEC 15909. PNML grammar is publicly available on its reference site.

The first part of this international standard, [2] provides the mathematical definitions for high-level Petri nets. These definitions are called the semantic model.

It also provides the graphical form definition, known as High-level Petri Net Graph (HLPNG), and its mapping to the semantic model.

As of December 2004, the first part is an international standard.

References

  1. ↑ Weber, Michael; Kindler, Ekkart (2003), Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert (eds.), "The Petri Net Markup Language" , Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, Berlin, Heidelberg: Springer, pp. 124–144, doi:10.1007/978-3-540-40022-6_7, ISBN   978-3-540-40022-6 , retrieved 2024-09-04
  2. ↑ ISO/IEC 15909-1:2004


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.