The diagram type allowsthe modeling of superstates, concurrent states, and activities as partof a state. However, there are a number of problems with theconventional finite state machine modeling ...