Petri Net Markup Language Explained

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.

the first part is an international standard.

References

  1. https://link.springer.com/chapter/10.1007/978-3-540-40022-6_7
  2. http://www.iso.org/iso/fr/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=38225 ISO/IEC 15909-1:2004

External links