HiLeS_To_PetriNet/HiLeS_To_TimePetriNet [ Modules ]

[ Top ] [ Modules ]

DESCRIPTION

Imports each of the source files that contain etl rules to perform the model-to-model transformation from a HiLeS model to a Time Petri Net model. Since the HiLeS model contains an internal Petri Net this transformation can be considered more like an extraction.

SEE ALSO

INPUTS

          * hiles The HiLeS Model (conforms to https://hiles.uniandes.edu.co/1.0/HiLeS)
          * tpn   The Time Petri Net model (conforms to https://hiles.uniandes.edu.co/1.0/TimedPetriNet)

RESULT

A Time Petri Net model containing the HiLeS model Petri Net

USAGE

    <target name="HiLeS2TimePetriNet">
      <epsilon.etl src="HiLeS2TimePetriNet.etl">
        <model ref="hiles"/>
        <model ref="tpn"/>
      </epsilon.etl>
    <\target>

USES

SystemToPetriNet.etl PlaceToPlace.etl TransitionToTransition.etl ArcToArc.etl