./co.edu.uniandes.hiles.m2m.hiles2petrinet/src/co/edu/uniandes/hiles/m2m/hiles2petrinet/epsilon/SystemToPetriNet.etl

HiLeS_To_TimePetriNet/SystemToPetriNet [ Rules ]

[ Top ] [ HiLeS_To_TimePetriNet ] [ Rules ]

SUMMARY

Transform a HiLeS HilesSystem to a TPN Time Petri Net ($Rev: 447 $)

DESCRIPTION

Create a TPN Time Petri Net to hold all the elements of the HiLeS HilesSystem's ControlNet elements, with out the heirarchy.

SEE ALSO

DOMAIN

hiles - https://hiles.uniandes.edu.co/1.0/HiLeS
tpn - https://hiles.uniandes.edu.co/1.0/TimePetriNet

SPECIFICATION

        relation SystemToPetriNet
        {
            checkonly domain hiles s:HilesSystem {
                name = sn,
                initialArchitecture = sa:Architecture,
            }
            enforce domain tpn pn:PetriNet {
                name = sn,
                node = pnn:Node{},
                arc = pna:Arc{}
            }
 *