Added .pnml extension to be selectable from the import from PIPE function.