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.

Building a Petri Net for confornance checking

Hi,
   Is there any known app or ProM plugin, that I can use to  manually build a Petri net based on a known  business process model?
   Do I have to build a xml file or there is another file extension that ProM can handle?

Thank you very much.


Comments

  • Hi,

    There are quite a lot Petri net editors. I recommend you Yasper http://www.yasper.org/. You can manually build a Petri net and export it as a pnml file, in this way, the model can be imported to ProM.

    Hope this helps. 
    Cong

  • Hi,

    In contrast to Cong, I would recommend WoPeD http://woped.dhbw-karlsruhe.de/woped/ which is a more recent Petri net editor that is compatible with ProM.

    Joos Buijs

    Senior Data Scientist and process mining expert at APG (Dutch pension fund executor).
    Previously Assistant Professor in Process Mining at Eindhoven University of Technology
  • Thank you for your answers. I will come back with some opinions.
Sign In or Register to comment.