Please have a look at the list of plug-ins that are included in the latest ProM release, ProM 6.8. This list can be found on https://svn.win.tue.nl/trac/prom/wiki/ProM68/Plugins. A number of plug-ins may (or may not) be suitable for your needs:
Convert Data Petri Nets to CPN (DataPetriNets)
Convert Process Tree to CPN Model (Petra)
Cosimulate CPN Model with ProM plugins (Cosimulation)
CPN Model Export (Petra)
Load CPN Model from CPN Tools (CPNet)
Simulate CPN Model (CPNet)
The list also shows the packages (in brackets) you need to have installed for these plug-ins to be available. There seems to be a single export plug-in for CPN models, which is implemented in the Petra package. Please make sure you have the Petra package installed, and try to use that plug-in. If this plug-in does not work for you, you might have to develop your own export plug-in.
Comments
Eric.
it Helped a lot