UML2oWFN

Uml2owfn is a tool for translating process models created with the IBM Websphere Business Modeler into Petri net models to enable structural and behavioral analysis.
The translation implemented in uml2owfn is described in a technical report.