Imported or discovered models can be converted from a number of different formalisms to other languages/structures (see also Import and Export sections).

From BPEL to:

From EPC to:

From Open WF-net to:

High-level conversions:

From Labeled WF-net to:

From Petri net to:

From Protos to:

From YAWL to:

From Transition system to:

From Product Data Model to: