Petri Net Markup Language

{{Context|date=October 2009}}

{{one source |date=February 2024}}

Petri Net Markup Language (PNML) is an interchange format aimed at enabling Petri net tools to exchange Petri net models.{{Citation |last=Weber |first=Michael |title=The Petri Net Markup Language |date=2003 |work=Petri Net Technology for Communication-Based Systems: Advances in Petri Nets |pages=124–144 |editor-last=Ehrig |editor-first=Hartmut |url=https://link.springer.com/chapter/10.1007/978-3-540-40022-6_7 |access-date=2024-09-04 |place=Berlin, Heidelberg |publisher=Springer |language=en |doi=10.1007/978-3-540-40022-6_7 |isbn=978-3-540-40022-6 |last2=Kindler |first2=Ekkart |editor2-last=Reisig |editor2-first=Wolfgang |editor3-last=Rozenberg |editor3-first=Grzegorz |editor4-last=Weber |editor4-first=Herbert|url-access=subscription }} 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 [http://www.pnml.org site].

The first part of this international standard,[http://www.iso.org/iso/fr/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=38225 ISO/IEC 15909-1:2004] 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|post=,}} the first part is an international standard.