Behavior/FinalPlace [ Rules ]

[ Top ] [ Behavior ] [ Rules ]

SUMMARY

Transfotrm a SysML ActivityFinalNode into its HiLeS Petri Net representation. ($Rev: 443 $)

DESCRIPTION

Create a place to represent the final node and an arc to connect it to the corresponding output service of the Structural Block's Architecture that contains the PN.

SEE ALSO

DOMAIN

SPECIFICATION

        relation FinalPlace
        {
            checkonly domain SysML node:ActivityFinalNode {
                activity = a:Activity{},
            }
            enforce domain HiLeS p:Place {
                PetriNet = pn:PetriNet{},
                name = "FinalNode",
            }
            enforce domain HiLeS arc:Arc {
                PetriNet = pn:PetriNet{},
                from_node = p:Node{},
                to_point = s:Service{},
            }
            when {
                ActivityPetriNet(a, pn, arch);
            }
            where {
                FinalPlaceService(node, s)
            }
 *