How to export coloured petri net using PROM6

Muna

I need to export a coloured Petri Net using PROM6 in order to perform simulations using cpn tools


Any help would be appreciated 
Thanks

hverbeek

Hi,

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.

Kind regards,

Eric.

Muna

Thank you eric 
it Helped a lot