Petri Net Markup Language

Petri Net Markup Language (PNML) is an interchange format aimed at enabling <a href="/facts/Petri_net/BK7eTHNm">Petri net</a> tools to exchange Petri net models. PNML is an <a href="/facts/XML/clNgUfWk">XML</a>-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 <a href="/facts/ISO_standard/IacYR7Yg">ISO standard</a> ISO/IEC 15909.
PNML grammar is publicly available on its reference <a href="http://www.pnml.org">site</a>.
The first part of this international standard, 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,<a href="https://en.wikipedia.org/w/index.php?title=Petri_Net_Markup_Language&action=edit">[update]</a> the first part is an international standard.

Petri Net Markup Language open-in-new

Petri Net Markup Language