Behavior/MergeNodePN [ Rules ]
[ Top ] [ Behavior ] [ Rules ]
SUMMARY
Transform a SysML MergeNode into a HiLeS Place. ($Rev: 443 $)
DESCRIPTION
The Place is used to connect arcs from incoming and outgoing Flows.
SEE ALSO
DOMAIN
SPECIFICATION
relation MergeNodePN { checkonly domain SysML node:MergeNode { activity = a:Activity{}, name = nn, } enforce domain HiLeS o:Place { PetriNet = pn:PetriNet{}, name = nn, } when { ActivityPetriNet(a, pn, arch); } *