(defrange ?placeRef :FRAME PlaceReference)
(forall ?placeRef ( or (instance-of (reference ?placeRef) Place) (instance-of (reference ?placeRef) PlaceReference)))
(defrange ?transitionRef :FRAME TransitionReference)
(forall ?transitionRef ( or (instance-of (reference ?transitionRef) Transition) (instance-of (reference ?transitionRef) TransitionReference)))
(forall ?arc(or (and (instance-of (fromNode ?arc) Transition) (instance-of (toNode ?arc) Place)) (and (instance-of (fromNode ?arc) Place) (instance-of (toNode ?arc) Transition)) (and (instance-of (fromNode ?arc) PlaceReference) (instance-of (toNode ?arc) Transition)) (and (instance-of (fromNode ?arc) Transition) (instance-of (toNode ?arc) PlaceReference)) (and (instance-of (fromNode ?arc) Place) (instance-of (toNode ?arc) TransitionReference)) (and (instance-of (fromNode ?arc) TransitionReference) (instance-of (toNode ?arc) Place)) (and (instance-of (fromNode ?arc) PlaceReference) (instance-of (toNode ?arc) TransitionReference)) (and (instance-of (fromNode ?arc) TransitionReference) (instance-of (toNode ?arc) PlaceReference)))))
(defrange ?modInput :FRAME ModuleInterface)
(forall ?modInput ( or (instance-of (input ?modInput) Place) (instance-of (input ?modInput) Transition)))
(defrange ?modOutput :FRAME ModuleInterface)
(forall ?modOuput ( or (instance-of (output ?modOuput) Place) (instance-of (output ?modOuput) Transition)))