Where used:
State Change And Event Model
,
State Machine Model
hasPrestateType / isPrestateTypeFor
State Change Type
hasPrestateType
State Type
State Type
isPrestateTypeFor
State Change Type