Petri Net Markup Language
From Wikipedia, the free encyclopedia
Petri Net Markup Language (PNML) is an interchange format aimed at enabling Petri net tools to exchange Petri net models. 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.
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) |
The first part of this international standard,[1] 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.