Behavior/ActivityPetriNet [ Rules ]
[ Top ] [ Behavior ] [ Rules ]
SUMMARY
Transform a SysML Activity into its HiLeS Petri Net representation. ($Rev: 294 $)
DESCRIPTION
Create a HiLeS Architecture to hold the Petri Net elemnts and blocks that represent a SysML Activity. The behavior transforamtion follows the rules presented in the Tech Manual.
SEE ALSO
DOMAIN
SPECIFICATION
relation ActivityPetriNet { checkonly domain SysML a:Activity { block = blk:Block{}, } enforce domain HiLeS pn:PetriNet { parentArchitecture = arch, } enforce domain HiLeS arch:Architecture { name = blk.name, isDefault = true, } when { //TODO: Validar que el bloque padre sea el bloque principal } where { } *