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