Supertypes: ODXIdentifiedObject, ODXLongNamedObject
semantic : EString
startStateSnref : Snref [1]
stateTransitions : StateTransition [1..*]
states : State [1..*]