---

Converts a HLYAWL model (as from newYAWL Import) into a HLPetriNet while preserving all the extra information about data, time, and resources.

The actual control-flow conversion is done by applying a number of other plug-ins, namely:

• Flatten YAWL model
• Add implicit conditions to YAWL model
• Convert YAWL model to EPC
• Convert EPC to PetriNet

The result is directly displayed using the View/Edit HLProcess plug-in and can be now exported to CPN Tools (see CPN Export ).