PNML

Petri Net Markup Language