---

Input

---

HLProtos model

Output

---

HLPetriNet

Description

---

This plugin converts a HLProtos model into a HLPetriNet while preserving all the extra information about data, time, and resources. The actual control-flow conversion is done by the following plug-ins:

• Protos To Protos conversion

  Input
  Protos model

  Output
  Protos model

  Description
  This plug-in converts a Protos model into a Protos model where all implicit conditions have been made explicit (have been 'added').

• Protos To Petri net conversion

  Input
  Protos model

  Output
  Petri net

  Description
  This plug-in converts a Protos model into a Petri net. The assumption is made that before the conversion all implicit conditions have been made explicit (have been 'added'). This is done by the Protos2Protos conversion. In the conversion from a Protos model into a Petri net, Protos activities are converted to Petri net transitions, Protos statusses to Petri net places and Protos arcs into Petri net edges. Furthermore, every explicit choice in the Protos model (modeled as a Protos activity with XOR semantics) is converted to an implicit choice in the Petri net. Because when a Protos activity with XOR-semantics is one-on-one translated to a Petri net transition, the transition will have AND-semantics and the choice behavior is lost. Therefore, when converting a Protos activity with XOR-semantics, the control flow of the Petri net has to be extended to capture the choice behavior. Figure 1 shows how to extend the control flow. The upper picture on the left hand side is a XOR-split. The corresponding Petri net construct is presented on the upper right side. In the middle, a XOR-join and its corresponding Petri net construct is given. At the bottom of Figure 1, the XOR-split-join and the corresponding Petri net construct is shown.

  

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