Petri Net Markup Language
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.
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, the first part is an international standard.
Petri net
A Petri net is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions and places...
tools to exchange Petri net models. PNML is an XML
XML
Extensible Markup Language is a set of rules for encoding documents in machine-readable form. It is defined in the XML 1.0 Specification produced by the W3C, and several other related specifications, all gratis open standards....
-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, 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.