xmlverificationbpmnpetri-net

BPMN to Petri nets converter or any other tool for verification


My goal is to transfer a BPMN model to any workflow tool that will allow me to verify it. I learned about Petri nets, so I want to be able to transform an XML file I obtained after creating a BPMN model into a Petri net. Is there a tool for doing this?

I kept finding some scientific papers from The Netherlands but they are decades old and the websites for source code do not work.

I'd appreciate any help.

EDIT: There is a verification tool like BehaVerify for behaviour trees. I'd like a similar tool for my BPMN, but from what I see it doesn't exist. Therefore, I need to convert it into Petri nets or similar to have it verified.


Solution

  • Found a GitHub repo that does exactly what I want.

    Their paper:

    PM4Py: A process mining library for Python