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

HiLeS_To_TimePetriNet/PlaceToPlace [ Rules ]

[ Top ] [ HiLeS_To_TimePetriNet ] [ Rules ]

SUMMARY

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

DESCRIPTION

Create a TPN Place with the information from the HiLes Place

SEE ALSO

DOMAIN

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

SPECIFICATION

        relation PlaceToPlace
        {
            checkonly domain hiles hp:Place {
                name = hpn,
                hasToken = hpt,
            }
            enforce domain tpn p:Place {
                name = hpn,
                marking = pm,
            }
            where {
                if hpt then
                    pm = 1;
                endif
            }
 *