BPEL2oWFN
translates a business processes expressed in BPEL (Business Process
Execution Language for Web Services) into an oWFN (open Workflow Net)
oWFN2BPEL
fully-automatically translates an oWFN model into an abstract BPEL process
Fiona
analyzes the interaction of open Workflow Nets - (1) it builds up the
interaction graph to check whether the net is controllable or not, (2)
it computes the operating guideline of the net
Tools4BPEL Tutorial
a tutorial showing the features of BPEL2oWFN, Fiona and Tools4BPEL GUI
