Petri网可扩展性标记语言

PNML(Petri网标记语言)是一种基于XML的Petri网的交换格式。因为可以用PNTD(Petri类型定义符)来定义Petri网的类型,PNML支持任何一种类型的Petri网。PNML主要用来在解决由于不同的Petri网类型而导致的问题。