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) } *