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.
Found a GitHub repo that does exactly what I want.
Their paper: