Figure: Redefined process type with added states and transitions