WF2oWFN is a tool to translate Windows Workflow 4 (WF) processes into Open Workflow Nets (oWFN).
Both Xaml workflows and Xamlx workflow services are supported. WF2oWFN integrates with a variety of tools from service-technology.org to check for behavioral properties like deadlocking, controllability or automatic adapter synthesis. WF2oWFN was used in the paper "Bridging the Heterogeneity of Orchestrations - A Petri Net-based Integration of BPEL and Windows Workflow" which was presented at the 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2012). A preprint version of the paper is available here.