Where used:
State Change And Event Model
,
State Machine Model
hasPoststateType / isPoststateTypeFor
State Change Type
hasPoststateType
State Type
State Type
isPoststateTypeFor
State Change Type