We just implemented PNML-Export for Petri Nets that allows reuse of Oryx models in other tools, e.g. in ProM. Find the feature located under the export button, in the Petri Net profile.