Conversion
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:
- Petri net (via Petrify) - see also control-flow discovery category
From Product Data Model to:
- Process model - various conversions