PNML Parser