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

HiLeS_To_TimePetriNet/TransitionToTransition [ Rules ]

[ Top ] [ HiLeS_To_TimePetriNet ] [ Rules ]

SUMMARY

Transform a HiLeS Transition to a TPN Transition ($Rev: 447 $)

DESCRIPTION

Create a TPN Transition with the information from the HiLes Transition

SEE ALSO

DOMAIN

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

SPECIFICATION

        relation TransitionToTransition
        {
            checkonly domain hiles ht:Transition {
                name = htn,
                min = htmin,
                max = htmax,
                unit = htu,
            }
            enforce domain tpn t:Transition {
                name = tpn,
                eft =  teft,
                lft = tlft, 
            }
 *