 | This article provides insufficient context for those unfamiliar with the subject. (October 2009) |
 | This article relies largely or entirely on a single source. (February 2024) |
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,[update] the first part is an international standard.
 | This mathematics-related article is a stub. You can help Wikipedia by expanding it. |
