To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

How to export coloured petri net using PROM6

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


Any help would be appreciated 
Thanks
Tagged:

Comments

  • hverbeekhverbeek Posts: 343
    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.







  • MunaMuna Posts: 4
    Thank you eric 
    it Helped a lot 
Sign In or Register to comment.