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

dj1984dj1984 Posts: 2
   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.


  • Hi,

    There are quite a lot Petri net editors. I recommend you Yasper 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. 

  • JBuijsJBuijs Posts: 918

    In contrast to Cong, I would recommend 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
  • dj1984dj1984 Posts: 2
    Thank you for your answers. I will come back with some opinions.
Sign In or Register to comment.