Petri网描述语言

PNML——Petri Net Markup Language

PNML是基于XML的Petri网表示方法。为了支持不同类型的petri网，其中允许定义新的petri网类型。由于具有这种灵活性，PNML有望成为petri网交换格式的一个标准。

1. PNML提出的历史背景

1988年提出了一个早期的petri网transfer的语法；1995年提出了Abstract Petri Net Notation，试图在某种格式里能够容纳不同版本Petri网的信息，并提供了有限的机制进行扩展；PNML对其进行了进一步的发展，明确提出了定义新功能和新Petri网类型的概念。

2. PNML的设计理念

灵活性：PNML能够表示各种不同的petri网。PNML把一个Petri网看作一个加了标签的图，所有存储在标签中的附加信息都可以在网、网的节点或者连接弧之上。

兼容性：在不同类型的petri网间传递尽可能多的信息。PNML使用Convention来定义一个具有特定含义的标签。在convention文件中，所有的扩展其语法和含义都有预定义。当定义一个新的类型的petri网时，标签可以从convention中进行选择。

无二义性：PNML支持不同类型的petri网的定义，PNTD定义了特定类型petri网的合法标签。