Commented out print tmp_dir, changed full_pn final name to have extension: .pnml.xml