---

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:

• Petri net To Protos conversion Input
  Petri net

  Output
  Protos model

  Description
  This plug-in converts a Petri net into (the control flow part of) a Protos model.

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