implement xml to pnml converter