Petri Net Markup Language
 | This article has no lead section. |
 | This article provides insufficient context for those unfamiliar with the subject. |
Petri Net Markup Language (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 [1]
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.
Reference
- ^ ISO/IEC 15909.