Tu banner alternativo

Petri Net Markup Language

In this article, we will explore the fascinating world of Petri Net Markup Language, a topic that has captured the curiosity and interest of many people over time. From its historical origins to its impact on the modern world, Petri Net Markup Language has played a vital role in various aspects of everyday life. Through a deep and detailed look, we will immerse ourselves in the different facets of Petri Net Markup Language, exploring its meanings, its implications and its relevance in the current context. We will embark on a journey of discovery and reflection, analyzing the influence of Petri Net Markup Language on society and the way we understand the world around us. Join us in this exciting exploration of Petri Net Markup Language and let's discover together its mysteries and its impacts on our reality.

Tu banner alternativo

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.

As of December 2004, the first part is an international standard.

References

  1. ^ Weber, Michael; Kindler, Ekkart (2003), Ehrig, Hartmut; Reisig, Wolfgang; Rozenberg, Grzegorz; Weber, Herbert (eds.), "The Petri Net Markup Language", Petri Net Technology for Communication-Based Systems: Advances in Petri Nets, Berlin, Heidelberg: Springer, pp. 124–144, doi:10.1007/978-3-540-40022-6_7, ISBN 978-3-540-40022-6, retrieved 2024-09-04
  2. ^ ISO/IEC 15909-1:2004