Petri Net Markup Language (PNML) is an interchange format aimed at enabling
Petri net tools to exchange Petri net models. PNML is an
XML
Extensible Markup Language (XML) is a markup language and file format for storing, transmitting, and reconstructing arbitrary data. It defines a set of rules for encoding documents in a format that is both human-readable and machine-readable. T ...
-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
The International Organization for Standardization (ISO ) is an international standard development organization composed of representatives from the national standards organizations of member countries. Membership requirements are given in Art ...
ISO/IEC 15909.
PNML grammar is publicly available on its referenc
site
The first part of this international standard,
/ref> 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.
References
External links
pnml.org - PNML reference site
{{math stub
XML-based standards
Petri nets