Petri nets in pnmc XML format