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.