HLPetriNet to HLProtos

Input

HLPetriNet model

Output

HLProtos

Description

This plugin converts a HLPetriNet into a HLProtos model while preserving all the extra information about data, time, and resources.

The actual control-flow conversion is done by the following plug-ins:

The result is directly displayed using the View/Edit HLProcess plug-in.